Quotient types: A modular approach (2002)

by A Nogin
Venue:In: TPHOLs 2002, LNCS 2410