Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality

DOI10.1007/s001530050114zbMath0945.03089OpenAlexW1992193729MaRDI QIDQ1283126

Geir Waagbø

Publication date: 27 September 2000

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530050114

zbMATH Keywords

Martin-Löf type theorydomain theorytotalityfixpoints of domain equationsnonderivability resultstype 2 functionals

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Theory of numerations, effectively presented structures (03D45) Higher-type and set recursion theory (03D65)

Related Items

Can partial indexings be totalized? ⋮ Hyperfinite type structures ⋮ Domain representations of topological spaces