Login / Signup

An Information System Interpretation of Martin-Löf's Partial Type Theory with Universes

Erik Palmgren
Published in: Inf. Comput. (1993)
Keyphrases