An information system interpretation of Martin-Löf's partial type theory with universes

DOI10.1006/INCO.1993.1048zbMath0789.03045OpenAlexW1992671459MaRDI QIDQ1308982

Erik Palmgren

Publication date: 14 June 1994

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1993.1048

zbMATH Keywords

universesfixed point operatorMartin-Löf's partial type theorycontinuous operatorsdomain-theoretic interpretationScott's information systemstype universe equations

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Second- and higher-order arithmetic and fragments (03F35)

Related Items (4)

Remarks on Martin-Löf's partial type theory ⋮ Hyperfinite type structures ⋮ Inaccessibility in constructive set theory and type theory ⋮ The constructive Hilbert program and the limits of Martin-Löf type theory

This page was built for publication: An information system interpretation of Martin-Löf's partial type theory with universes