Foundational Proof Checkers with Small Witnesses (2003)

by Dinghao Wu , Andrew W. Appel , Aaron Stump
Citations:26 - 6 self