Pierre-Louis Curien
Pierre-Louis Curien, Thérèse Hardin, and Jean-Jacques Lévy.
Confluence properties of weak and strong calculi of explicit substitutions.
Journal of the ACM
, 43(2):362-397, March 1996.
Abstract, References, Citations, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database