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:13 - 0 self

Documents Related by Co-Citation

7 On the Definition of the Eta-long Normal Form in Type Systems of the Cube – Gilles Dowek, Benjamin Werner - 1993
695 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
107 An algorithm for testing conversion in type theory – T Coquand - 1991
12 Soundness of the Logical Framework for Its Typed Operational Semantics, Typed Lambda Calculi and – H Goguen
473 Institutions: abstract model theory for specification and programming – J Goguen, R Burstall - 1992
18 A linear logical framework. Information and Computation – Iliano Cervesato, Frank Pfenning - 1998
52 A Typed Operational Semantics for Type Theory – H Goguen - 1994
25 Adjoint Rewriting – Neil Ghani - 1995
22 Computation and deduction. Unpublished lecture notes – Frank Pfenning - 1994
518 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
373 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
36 The Virtues of Eta-expansion – C. Barry Jay, Neil Ghani - 1993
34 Higher-Order Rewriting with Dependent Types – Roberto Virga, Theviewsandconclusionscontainedinthisdocumentarethoseoftheauthorandshouldnotbeinterpretedas Thisrese - 1999
33 Natural Deduction for Intuitionistic Non-Commutative Linear Logic – Jeff Polakow, Frank Pfenning - 1999
303 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
125 Ideas and results in proof theory – Dag Prawitz - 1971
10 Encoding a dependent-type λ-calculus in a logic programming language – A Felty, D Miller - 1990
42 Refinement Types for Logical Frameworks – Frank Pfenning - 1993