Cover Image
Read Now

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