Natarajan Shankar
N. Shankar.
A mechanical proof of the Church-Rosser theorem.
Journal of the ACM
, 35(3):475-522, July 1988.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database