Canonical typing and Π-conversion in the Barendregt Cube (1996)

View PDF

Download Links

by Fairouz Kamareddine , Rob Nederpelt
Citations:4 - 3 self

Documents Related by Co-Citation

1184 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1984
552 Lambda Calculi with Types – Henk Barendregt - 1993
541 Introduction to HOL: A Theorem Proving Environment for Higher Order Logic.” Cambridge – M J C Gordon, T F Melham - 1993
69 On Stepwise Explicit Substitution – Fairouz Kamareddine, Rob Nederpelt - 1993
35 Re reduction in the -calculus – F Kamareddine, R P Nederpelt
1006 Term Rewriting and All That – F Baader, T Nipkow - 1998
798 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
1373 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
496 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – J E Stoy - 1977