Foundational Proof Checkers with Small Witnesses (2003)

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