Article Dans Une Revue
Mathematical Structures in Computer Science
Année : 2005
Ian Mackie : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00133318
Soumis le : dimanche 25 février 2007-16:53:02
Dernière modification le : mercredi 21 février 2024-12:42:22
Dates et versions
Identifiants
- HAL Id : inria-00133318 , version 1
Citer
Maribel Fern{á}ndez, Ian Mackie, François-Régis Sinot. Closed Reduction: explicit substitutions without alpha conversion. Mathematical Structures in Computer Science, 2005, Mathematical Structures in Computer Science, 15 (2), pp.343--381. ⟨inria-00133318⟩
Collections
60
Consultations
0
Téléchargements