Statman, Richard.
Richard Statman American computer scientist
Statman, Richard 4 aut
Statman, Richard, 1946-
VIAF ID: 305030246 (Personal)
Permalink: http://viaf.org/viaf/305030246
Preferred Forms
- 100 0 _ ‡a Richard Statman ‡c American computer scientist
-
- 100 1 _ ‡a Statman, Richard
-
-
-
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
The lambda calculus with types |