Journal Articles
Mathematical Structures in Computer Science
Year : 2005
Ian Mackie : Connect in order to contact the contributor
https://inria.hal.science/inria-00133318
Submitted on : Sunday, February 25, 2007-4:53:02 PM
Last modification on : Friday, March 24, 2023-2:52:48 PM
Dates and versions
Identifiers
- HAL Id : inria-00133318 , version 1
Cite
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
59
View
0
Download