Confluence properties of weak and strong calculi of explicit substitutions
Curien, Pierre-Louis ; Hardin, Thérèse ; Lévy, Jean-Jacques
Journal of the ACM, 1996-03, Vol.43 (2), p.362-397
[Periódico revisado por pares]
New York, NY: ACM
Texto completo disponível