From term models to domains

DOI10.1006/inco.1994.1017zbMath0796.03018OpenAlexW2102574008MaRDI QIDQ1322479

Wesley Phoa

Publication date: 26 September 1994

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

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

zbMATH Keywords

domainspartial equivalence relations\(\lambda\)-calculusrealizability toposreflective subcategoriesfixed point combinatorcategories of predomainsclosed term modelmodel of constructive set theorypartial function spaces

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categorical logic, topoi (03G30) Topoi (18B25) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Computational adequacy for recursive types in models of intuitionistic set theory ⋮ Parallelism in realizability models

This page was built for publication: From term models to domains