Sam Speight

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 3

Top Topics

Planning Problems

Top Venues

Publications

Sam Speight
Groupoidal Realizability for Intensional Type Theory. CoRR (2024)
Steve Awodey, Jonas Frey, Sam Speight
Impredicative Encodings of (Higher) Inductive Types. CoRR (2018)
Steve Awodey, Jonas Frey, Sam Speight
Impredicative Encodings of (Higher) Inductive Types. LICS (2018)