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

390 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
10 Comparing and Implementing Calculi of Explicit Substitutions with Eta Reduction – Mauricio Ayala-Rincon, Flavio L. C. de Moura, Fairouz Kamareddine - 2005
23 Typed λ-calculi with explicit substitutions may not terminate – P-A Melliès - 1995
13 Unification via the λseStyle of Explicit Substitution. The Logical – M Ayala-Rincón, F Kamareddine
19 Implementation of Higher-Order Unification Based on Calculus of Explicit Substitution – Peter Borovansky - 1995
18 Extending the λ-calculus with explicit substitution which preserves strong normalization into a confluent calculus on open terms – F Kamareddine, A Ríos - 1997
103 Higher-order Unification via Explicit Substitutions (Extended Abstract) – Gilles Dowek, Thérèse Hardin, Claude Kirchner - 1995
33 A Notation for Lambda Terms I: A Generalization of Environments – Gopalan Nadathur, Debra Sue Wilson - 1994
154 De Bruijn, Lambda calculus notation with nameless dummies: A tool for automatic formula manipulation, with application to the church-rosser theorem, Indagationes Mathematicae 34 – N G - 1972
8 Relating the λσ- and λs-styles of explicit substitutions – Fairouz Kamareddine, Alejandro Rios - 2000
41 On Stepwise Explicit Substitution – Fairouz Kamareddine, Rob Nederpelt - 1993
78 A lambda-calculus à la de Bruijn with explicit substitutions – Fairouz Kamareddine, Alejandro Ríos - 1995
12 A useful λ-notation – F Kamareddine, R P Nederpelt - 1996
944 Term Rewriting and All That – Franz Baader, Tobias Nipkow - 1998
94 What Are Principal Typings and What Are They Good For? – Trevor Jim - 1995
86 The Essence of Principal Typings – J. B. Wells - 2002
13 Basic Simple Type Theory. Number 42 – J Roger Hindley - 2008
8 A new formula for the execution of a categorical combinators – R Lins - 1986
40 A Confluent Calculus of Substitutions – T Hardin, J-J Lévy - 1989