Confluence properties of Weak and Strong Calculi of Explicit Substitutions (1996)

Cached

Download Links

by Pierre-Louis Curien , Therese Hardin , Jean-Jacques Levy
Venue:JOURNAL OF THE ACM
Citations:120 - 7 self

Document Versions

Confluence properties of Weak and Strong Calculi of Explicit Substitutions –Pierre-Louis Curien , Therese Hardin, Jean-Jacques Levy — 1996 — JOURNAL OF THE ACM
Confluence properties of Weak and Strong Calculi of Explicit Substitutions –Pierre-Louis Curien, Thérèse Hardin, Jean-Jacques Lévy — 1996