![](/img/cover-not-exists.png)
Confluence properties of weak and strong calculi of explicit substitutions
Curien, Pierre-Louis, Hardin, Thérèse, Lévy, Jean-JacquesVolume:
43
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/226643.226675
Date:
March, 1996
File:
PDF, 2.71 MB
english, 1996