Sam Speight : Publications

Conference papers

• [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