ABOUT MODEST SETS
From MaRDI portal
Publication:3353232
DOI10.1142/S0129054190000242zbMath0729.18003OpenAlexW2161023112MaRDI QIDQ3353232
No author found.
Publication date: 1990
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0129054190000242
polymorphismconstructive set theoryeffective toposeffective domainscomplete internal categorymodest objects
Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Topoi (18B25) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Other constructive mathematics (03F65)
Related Items (12)
Axiomatizing higher-order Kleene realizability ⋮ On completeness and cocompleteness in and around small categories ⋮ On Tarski’s fixed point theorem ⋮ A note on ``Extensional PERs ⋮ An exper model for Quest ⋮ On categorical structures arising from implicative algebras: from topology to assemblies ⋮ Two remarks on the Lifschitz realizability topos ⋮ A modest model of records, inheritance, and bounded quantification ⋮ Some economic applications of Scott domains ⋮ On some peculiar aspects of the constructive theory of point-free spaces ⋮ Fixed points in Cartesian closed categories ⋮ An exactification of the monoid of primitive recursive functions
This page was built for publication: ABOUT MODEST SETS
