タイトル |
著作者等 |
出版元 |
刊行年月 |
Lambda calculus with types
|
Henk Barendregt, Wil Dekkers, Richard Statman |
Association for Symbolic Logic
Cambridge University Press
|
2013 |
The lambda calculus, its syntax and semantics
|
Henk P. Barendregt |
College
|
c2012 |
Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers
|
Henk Barendregt, Tobias Nipkow, (eds.) |
Springer-Verlag
|
c1994 |
The lambda calculus : its syntax and semantics
|
H.P. Barendregt |
North-Holland Pub. Co.
Sole distributors for the U.S.A. and Canada, Elsevier Science
|
- |
The lambda calculus : its syntax and semantics
|
H.P. Barendregt |
North-Holland
Sole distributors for the USA and Canada, Elsevier Science Pub.
|
1984 |
The lambda calculus : its syntax and semantics
|
H.P. Barendregt |
North-Holland Pub.
Sole distributors for the U.S.A. and Canada, Elsevier North-Holland
|
1981 |
The lambda calculus : its syntax and semantics
|
H.P. Barendregt |
North-Holland
Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
|
1984 |
The incompleteness theorems
|
Henk Barendregt |
Mathematical Institute, Rijksuniversiteit Utrecht
|
1976 |