From term models to domains
From MaRDI portal
Publication:1322479
DOI10.1006/inco.1994.1017zbMath0796.03018MaRDI 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
domains; partial equivalence relations; \(\lambda\)-calculus; realizability topos; reflective subcategories; fixed point combinator; categories of predomains; closed term model; model of constructive set theory; partial function spaces
18A40: Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)
03G30: Categorical logic, topoi
18B25: Topoi
03B40: Combinatory logic and lambda calculus
Related Items