Paper: Impredicative Encodings of (Higher) Inductive Types (at LICS 2018)
Authors: Steve Awodey Jonas Frey Sam Speight
Abstract
No Abstract Available
BibTeX
@InProceedings{AwodeyFreySpeight-ImpredicativeEncodi, author = {Steve Awodey and Jonas Frey and Sam Speight}, title = {Impredicative Encodings of (Higher) Inductive Types}, booktitle = {Proceedings of the Thirty third Annual IEEE Symposium on Logic in Computer Science (LICS 2018)}, year = {2018}, month = {July}, pages = {76--85}, location = {Oxford}, publisher = {IEEE Computer Society Press} }