Closed Reduction: explicit substitutions without alpha conversion

Maribel Fern{á}ndez Ian Mackie 1 François-Régis Sinot
1 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Type de document :
Article dans une revue
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2005, Mathematical Structures in Computer Science, 15 (2), pp.343--381
Liste complète des métadonnées
https://hal.inria.fr/inria-00133318
Contributeur : Ian Mackie <>
Soumis le : dimanche 25 février 2007 - 16:53:02
Dernière modification le : mercredi 25 avril 2018 - 10:45:20

Identifiants

  • HAL Id : inria-00133318, version 1

Collections

LIX | X-LIX | X | PARISTECH

Citation

Maribel Fern{Á}ndez, Ian Mackie, François-Régis Sinot. Closed Reduction: explicit substitutions without alpha conversion. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2005, Mathematical Structures in Computer Science, 15 (2), pp.343--381. 〈inria-00133318〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

81

Contact


archive-ouverte@inria.fr