Pages that link to "Item:Q3481914"

The following pages link to The Discrete Objects in the Effective Topos (Q3481914):

Displaying 36 items.

• On the failure of fixed-point theorems for chain-complete lattices in the effective topos (Q418812) (← links)
• The category of equilogical spaces and the effective topos as homotopical quotients (Q504545) (← links)
• Aspects of predicative algebraic set theory. II: Realizability (Q534701) (← links)
• A note on ``Extensional PERs'' (Q615886) (← links)
• Extensional models for polymorphism (Q749518) (← links)
• Functorial polymorphism (Q753948) (← links)
• Filtered colimits in the effective topos (Q819805) (← links)
• The Girard-Reynolds isomorphism (second edition) (Q879366) (← links)
• A modest model of records, inheritance, and bounded quantification (Q922718) (← links)
• A small complete category (Q1112159) (← links)
• Formal parametric polymorphism (Q1314344) (← links)
• Axiomatizing higher-order Kleene realizability (Q1338200) (← links)
• Parametricity as isomorphism (Q1349670) (← links)
• Axioms and (counter)examples in synthetic domain theory (Q1577485) (← links)
• Fixpoint operators for domain equations (Q1605186) (← links)
• Equilogical spaces (Q1826625) (← links)
• On completeness and cocompleteness in and around small categories (Q1896485) (← links)
• Some free constructions in realizability and proof theory (Q1903677) (← links)
• Univalent polymorphism (Q1987219) (← links)
• Non-deterministic effects in a realizability model (Q2130600) (← links)
• Sobriety for equilogical spaces (Q2253179) (← links)
• Profunctors in Mal'tsev categories and fractions of functors (Q2376566) (← links)
• Internal enriched categories (Q2674401) (← links)
• On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos (Q2805156) (← links)
• A Convenient Category of Domains (Q2864147) (← links)
• The Dedekind reals in abstract Stone duality (Q3395312) (← links)
• An application of descent to a classification theorem for toposes (Q3475447) (← links)
• (Q3483291) (← links)
• Constructive natural deduction and its ‘ω-set’ interpretation (Q4006232) (← links)
• From term models to domains (Q5096213) (← links)
• Dictoses (Q5096262) (← links)
• (Q5119392) (← links)
• Denotational semantics for guarded dependent type theory (Q5139284) (← links)
• A proposed categorical semantics for Pure ML (Q5204345) (← links)
• Relational Parametricity for Control Considered as a Computational Effect (Q5262944) (← links)
• What should a generic object be? (Q6174093) (← links)