A New Extraction for Coq (2003)

by P Letouzey
Venue:In TYPES’02, volume 2646 of LNCS