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