The following pages link to Jonathan Sterling (Q5016214):
Displaying 11 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)
- Cubical Syntax for Reflection-Free Extensional Equality (Q6317399) (← links)
- Classifying topoi in synthetic guarded domain theory (Q6413430) (← links)
- Tensorial structure of the lifting doctrine in constructive domain theory (Q6515397) (← links)
- Reflexive graph lenses in univalent foundations (Q6530207) (← links)
- Sheaf semantics of termination-insensitive noninterference (Q6544097) (← links)
