## A Proof of the Church-Rosser Theorem and its Representation in a Logical Framework (1992)

### Cached

### Download Links

- [pecan.srv.cs.cmu.edu]
- [www-2.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www-cgi.cs.cmu.edu]
- [www-cgi.cs.cmu.edu]
- [www-cgi.cs.cmu.edu]
- DBLP

### Other Repositories/Bibliography

by
Frank Pfenning

Citations: | 36 - 8 self |