Formal Proof Sketches (2002)

by Freek Wiedijk
Venue:In Proceedings of TYPES’03, volume 3085 of LNCS