Home
Proofs
Library
Chat
Docs
Notif.
Billing
Settings
Sign in
home
library
authors
Steve Awodey
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.