Erik Palmgren. An Information System Interpretation of Martin-L/ of s Partial Type Theory with Universes. Inf. Comput., 106(1):26-60, September 1993.
@article{Palmgren93-0,
title = {An Information System Interpretation of Martin-L/ of s Partial Type Theory with Universes},
author = {Erik Palmgren},
year = {1993},
month = {September},
tags = {type system, type theory},
researchr = {https://researchr.org/publication/Palmgren93-0},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {106},
number = {1},
pages = {26-60},
}