On universes in type theory (1998)

by Erik Palmgren
Venue:191 – 204
Citations:34 - 8 self