Statistics
Publications
1
Citations
17
H-Index
1
Active since
2018
Affiliations
University of Oxford(Current)
Sam Speight is an author at University of Oxford specializing in category-theoretic foundations, recursive types, and homotopy theory.
Publications per year
2018–2018
1
1
Impredicative Encodings of (Higher) Inductive Types
Steve Awodey, Jonas Frey, Sam Speight · 2018 · 17 citations · Full text
1–1 of 1