Sam Speight : Publications
-
[1]
Impredicative Encodings of (Higher) Inductive Types
Steve Awodey‚ Jonas Frey and Sam Speight
In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. Pages 76–85. New York‚ NY‚ USA. 2018. ACM.
Details about Impredicative Encodings of (Higher) Inductive Types | BibTeX data for Impredicative Encodings of (Higher) Inductive Types | DOI (10.1145/3209108.3209130) | Link to Impredicative Encodings of (Higher) Inductive Types