Uni in order-sorted type theory (1992)

by Michael Kohlhase
Venue:In Proc. LPAR'92