Sign in
Sam Speight
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 2
Top Topics
Non Binary
Planning Problems
Information Systems
Significantly Higher
Top Venues
CoRR
LICS
</>
Publications
</>
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)