Explicit Substitutions and All That (2000)

Cached

Download Links

by Mauricio Ayala-Rincón , Cesar Muñoz
Citations:3 - 3 self

Documents Related by Co-Citation

391 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
954 T.: Term rewriting and all that – F Baader, Nipkow - 1998
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
739 L.: Isabelle/HOL: a proof assistant for higher-order logic – T Nipkow, M Wenzel, Paulson - 2002
154 De Bruijn. Lambda calculus notation with nameless dummies – N G - 1972
102 Higher-order Unification via Explicit Substitutions (Extended Abstract) – Gilles Dowek, Thérèse Hardin, Claude Kirchner - 1995
306 Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem – N. G. De Bruijn - 1972
78 A lambda-calculus à la de Bruijn with explicit substitutions – Fairouz Kamareddine, Alejandro Ríos - 1995
33 A Notation for Lambda Terms I: A Generalization of Environments – Gopalan Nadathur, Debra Sue Wilson - 1994