Subset Coercions in Coq (2007)

by M Sozeau
Venue:T. Altenkirch and C. McBride (Eds.), LNCS