The Not So Simple Proof-Irrelevant Model of CC (2002)

by Alexandre Miquel, Benjamin Werner
Venue:In Herman Geuvers and Freek Wiedijk, editors, TYPES 2002, volume 2646 of LNCS