MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  ISSN

Download:
pdf | ps
by Calcul Symbolique, Projet Coq
ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2762.ps.gz
Add To MetaCart

Abstract:

apport de recherche

Citations

894 The Lambda Calculus: its Syntax and Semantics – Barendregt - 1984
336 Explicit substitutions – Abadi, Cardelli, et al. - 1990
305 Confluent reductions: Abstract properties and applications to term rewriting systems: Abstract properties and applications to term rewriting systems – Huet - 1980
225 Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem – Bruijn - 1972
117 Confluence properties of weak and strong calculi of explicit substitutions – Curien, Hardin, et al. - 1996
88 AE, a calculus of explicit substitutions which preserves strong normalisation. Journal of Functional Programming – Benaissa, Briaud, et al. - 1996
72 Higher-order unification via explicit substitutions. LICS – Dowek, Hardin, et al. - 1995
51 Typed -calculi with explicit substitutions may not terminate – Melli`es - 1995
47 The Implementation of ALF - a Proof Editor based on Martin-Löf’s Monomorphic Type Theory with Explicit Substitution – Magnusson - 1994
38 From oe to AE: a journey through calculi of explicit substitutions – Lescanne - 1994
23 Contribution `a l"etude des -calculs avec substitutions explicites – R'ios - 1993
17 Séquents qu’on calcule : de l’interprétation du calcul des séquents comme calcul de λ-termes et comme calcul de stratégies gagnantes, Thèse d’université, Université Paris 7 – Herbelin - 1995
10 A rewriting system for categorical combinators with multiple arguments – Yokouchi, Hikita - 1988
8 Functional back-ends and compilers within the lambda-sigma calculus – Hardin, Maranget, et al. - 1996
7 Une s'emantique cat'egorique des types d'ependants. Application au calcul des constructions. Th`ese de doctorat, Universit'e de Paris VII – Ehrhard - 1988
7 The calculus of explicit substitutions AE – Lescanne, Rouyer-Degli - 1994
5 RRL: A rewrite rule laboratory-user's manual – Kapur, Zhang - 1989
2 Notes sur les oe-calculs – Herbelin - 1995
1 Axiomatisation d'un -calcul avec substitutions explicites dans coq – Saibi - 1994
View or Download | Add to My Collection | Correct Errors