From term models to domains
From MaRDI portal
Publication:1322479
DOI10.1006/inco.1994.1017zbMath0796.03018OpenAlexW2102574008MaRDI QIDQ1322479
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
domainspartial equivalence relations\(\lambda\)-calculusrealizability toposreflective subcategoriesfixed point combinatorcategories of predomainsclosed term modelmodel of constructive set theorypartial function spaces
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categorical logic, topoi (03G30) Topoi (18B25) Combinatory logic and lambda calculus (03B40)
Related Items
Computational adequacy for recursive types in models of intuitionistic set theory ⋮ Parallelism in realizability models