Skip to Main content Skip to Navigation
Journal articles

Closed Reduction: explicit substitutions without alpha conversion

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

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⟩

Share

Metrics

Record views

175