Crafting a proof assistant, in: T (2007)

by A Asperti, C S Coen, E Tassi, S Zacchiroli
Venue:Proc. 2006 Int. Workshop on Proofs and Programs, volume 4502 of LNCS