The following pages link to Steven Awodey (Q938240):
Displayed 8 items.
- (Q5701016) (← links)
- (Q5755187) (← links)
- Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928 (Q5946331) (← links)
- A cubical model of homotopy type theory (Q6275810) (← links)
- Polynomial pseudomonads and dependent type theory (Q6297288) (← links)
- Kripke-Joyal forcing for type theory and uniform fibrations (Q6381471) (← links)
- On Hofmann-Streicher universes (Q6399849) (← links)
- Cartesian cubical model categories (Q6434933) (← links)