The following pages link to (Q3795831):
Displaying 26 items.
- The category of equilogical spaces and the effective topos as homotopical quotients (Q504545) (← links)
- Aspects of predicative algebraic set theory. II: Realizability (Q534701) (← links)
- Relations in operational categories (Q678847) (← links)
- Extensional models for polymorphism (Q749518) (← links)
- Fixed points in Cartesian closed categories (Q753945) (← links)
- Functorial polymorphism (Q753948) (← links)
- A modest model of records, inheritance, and bounded quantification (Q922718) (← links)
- A small complete category (Q1112159) (← links)
- Recursion over realizability structures (Q1173956) (← links)
- Extensional PERs (Q1193589) (← links)
- Locally cartesian closed exact completions (Q1588066) (← links)
- Equilogical spaces (Q1826625) (← links)
- Relative completions (Q1878419) (← links)
- Maps. I: Relative to a factorisation system (Q1892302) (← 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)
- Sobriety for equilogical spaces (Q2253179) (← links)
- Unifying exact completions (Q2254599) (← links)
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329) (← links)
- (Q3483291) (← links)
- Proof-Relevant Logical Relations for Name Generation (Q4637685) (← links)
- (Q4736391) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- Typed Lambda Calculi and Applications (Q5704009) (← links)
- On categorical structures arising from implicative algebras: from topology to assemblies (Q6145036) (← links)
