Closure Under Alpha-Conversion (1993)

View PDF

Download Links

by Randy Pollack
Venue:In The Informal Proceeding of the 1993 Workshop on Types for Proofs and Programs
Citations:23 - 3 self

Documents Related by Co-Citation

552 Lambda Calculi with Types – Henk Barendregt - 1993
879 A formulation of the simple theory of types – A Church - 1940
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1184 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1984
410 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
510 Conditional Rewriting Logic as a Unified Model of Concurrency – J Meseguer - 1992
497 The calculus of constructions – T Coquand, G P Huet - 1988
110 An algorithm for testing conversion in type theory – Thierry Coquand - 1991
779 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002