Cover Image
Read Now

1
by Curry, Haskell B.
Published 1972
North-Holland Pub. Co
Table of Contents: “.... Gödelian epitheory; C. Combinatory syntax; D. Typed combinatory arithmetic...”
Cover Image
Read Now

2
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... abstract syntax -- Eta-expansions in dependent type theory — The calculus of constructions -- Proof nets...”