Program extraction in simply-typed higher order logic (2002)

by Stefan Berghofer
Venue:In Types for Proofs and Programs, Second Int’l Workshop, TYPES 2002, volume 2646 of LNCS