Foundational Proof Checkers with Small Witnesses (2003)

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