The following pages link to ABOUT MODEST SETS (Q3353232):
Displaying 12 items.
- A note on ``Extensional PERs'' (Q615886) (← links)
- Fixed points in Cartesian closed categories (Q753945) (← links)
- An exactification of the monoid of primitive recursive functions (Q817674) (← links)
- A modest model of records, inheritance, and bounded quantification (Q922718) (← links)
- Some economic applications of Scott domains (Q1196207) (← links)
- Axiomatizing higher-order Kleene realizability (Q1338200) (← links)
- On completeness and cocompleteness in and around small categories (Q1896485) (← links)
- Some free constructions in realizability and proof theory (Q1903677) (← links)
- On Tarski’s fixed point theorem (Q2944797) (← links)
- On some peculiar aspects of the constructive theory of point-free spaces (Q3583800) (← links)
- Two remarks on the Lifschitz realizability topos (Q4879901) (← links)
- On categorical structures arising from implicative algebras: from topology to assemblies (Q6145036) (← links)
