The following pages link to Jonathan Sterling (Q5016214):
Displayed 17 items.
- Higher order functions and Brouwer’s thesis (Q5016215) (← links)
- Logical Relations as Types: Proof-Relevant Parametricity for Program Modules (Q5056429) (← links)
- (Q5089034) (← links)
- (Q5094128) (← links)
- Guarded Computational Type Theory (Q5145367) (← links)
- What should a generic object be? (Q6174093) (← links)
- Remark on the hypothetical judgment (Q6264296) (← links)
- Higher-Order Functions and Brouwer's Thesis (Q6276464) (← links)
- Algebraic Type Theory and Universe Hierarchies (Q6314517) (← links)
- Cubical Syntax for Reflection-Free Extensional Equality (Q6317399) (← links)
- A Cubical Language for Bishop Sets (Q6336032) (← links)
- Normalization for Cubical Type Theory (Q6359186) (← links)
- The directed plump ordering (Q6391171) (← links)
- Bilimits in categories of partial maps (Q6391395) (← links)
- Strict universes for Grothendieck topoi (Q6392034) (← links)
- Classifying topoi in synthetic guarded domain theory (Q6413430) (← links)
- Towards a geometry for syntax (Q6444218) (← links)