The Church-Rosser Theorem in Isabelle: A Proof Porting Experiment (1995)

View PDF

Download Links

by Ole Rasmussen
Citations:10 - 0 self