Skip to Main content Skip to Navigation
Journal articles

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]
Document type :
Journal articles
Complete list of metadata
https://hal.inria.fr/inria-00133318
Contributor : Ian Mackie <>
Submitted on : Sunday, February 25, 2007 - 4:53:02 PM
Last modification on : Thursday, March 5, 2020 - 6:22:10 PM

Identifiers

  • HAL Id : inria-00133318, version 1

Collections

LIX | CNRS | X-LIX | X | X-DEP-INFO

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

175

 

Contact                    Legal Notice                    Personal Data