Eta-Expansions in Dependent Type Theory - The Calculus of Constructions (1997)

Cached

Download Links

by Neil Ghani
Venue:Proceedings of the Third International Conference on Typed Lambda Calculus and Applications (TLCA'97
Citations:15 - 0 self

Documents Related by Co-Citation

702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
479 Institutions: Abstract model theory for specification and programming – Joseph A Goguen, Rod M Burstall - 1992
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
7 On the Definition of the Eta-long Normal Form in Type Systems of the Cube – Gilles Dowek, Benjamin Werner - 1993
108 An Algorithm for Testing Conversion in Type Theory – Thierry Coquand - 1991
377 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1121 The Lambda Calculus, its Syntax and Semantics – H P Barendregt - 1981