ABOUT MODEST SETS
DOI10.1142/S0129054190000242zbMATH Open0729.18003OpenAlexW2161023112MaRDI QIDQ3353232FDOQ3353232
Authors:
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
Recommendations
polymorphismconstructive set theoryeffective toposeffective domainscomplete internal categorymodest objects
Other constructive mathematics (03F65) Categorical logic, topoi (03G30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Topoi (18B25) Semantics in the theory of computing (68Q55)
Cited In (16)
- Title not available (Why is that?)
- A modest model of records, inheritance, and bounded quantification
- On some peculiar aspects of the constructive theory of point-free spaces
- On categorical structures arising from implicative algebras: from topology to assemblies
- Some free constructions in realizability and proof theory
- Axiomatizing higher-order Kleene realizability
- A note on ``Extensional PERs
- Fixed points in Cartesian closed categories
- The Discrete Objects in the Effective Topos
- A small complete category
- Some economic applications of Scott domains
- An exper model for Quest
- On completeness and cocompleteness in and around small categories
- Two remarks on the Lifschitz realizability topos
- An exactification of the monoid of primitive recursive functions
- On Tarski’s fixed point theorem
This page was built for publication: ABOUT MODEST SETS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3353232)
