An information system interpretation of Martin-Lof's partial type theory with universes (1993)

by Erik Palmgren
Venue:Information and Computation