Steve Awodey
Publications
- Impredicative Encodings of (Higher) Inductive Types. Steve Awodey, Jonas Frey, Sam Speight. 2018.
- Impredicative Encodings of (Higher) Inductive Types. Steve Awodey, Jonas Frey, Sam Speight. 2018.
- Polynomial Pseudomonads and Dependent Type Theory. Steve Awodey, Clive Newstead. 2018.
- Natural Models of Homotopy Type Theory. Steve Awodey. 2017.
- Homotopy-Initial Algebras in Type Theory. Steve Awodey, Nicola Gambino, Kristina Sojakova. 2015.
- Inductive Types in Homotopy Type Theory. Steve Awodey, Nicola Gambino, Kristina Sojakova. 2012.