Closed Reduction: explicit substitutions without alpha conversion

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 : jeudi 10 mai 2018 - 02:06:58

Identifiants

  • HAL Id : inria-00133318, version 1

Collections

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〉

Partager

Métriques

Consultations de la notice

89