Explicit Substitutions and All That (2000)

View PDF

Download Links

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

Documents Related by Co-Citation

410 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
1006 Term Rewriting and All That – F Baader, T Nipkow - 1998
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
795 Isabelle/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 – Tobias Nipkow, Lawrence C Paulson, Markus Wenzel - 2002
160 de Bruijn. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem – N G - 1972
103 Higher-order Unification via Explicit Substitutions (Extended Abstract) – Gilles Dowek, Thérèse Hardin, Claude Kirchner - 1995
90 A lambda-calculus à la de Bruijn with explicit substitutions – Fairouz Kamareddine, Alejandro Ríos - 1995
320 Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem – N. G. De Bruijn - 1972
69 On Stepwise Explicit Substitution – Fairouz Kamareddine, Rob Nederpelt - 1993