Quotients over Minimal Type Theory (2007)

by M E Maietti
Venue:In Computation and Logic in the Real World- CiE 2007, Siena, volume 4497 of LNCS