@inproceedings{Awodey:2018:IEI:3209108.3209130,
  title = "Impredicative Encodings of (Higher) Inductive Types",
  author = "Awodey, Steve and Frey, Jonas and Speight, Sam",
  year = "2018",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science",
  isbn = "978-1-4503-5583-4",
  keywords = "Higher inductive types, Homotopy type theory, Impredicative encodings, Impredicativity, Inductive types, Martin-L\"{o}f type theory, System F",
  location = "Oxford, United Kingdom",
  pages = "76--85",
  publisher = "ACM",
  series = "LICS '18",
  url = "http://doi.acm.org/10.1145/3209108.3209130",
  doi = "10.1145/3209108.3209130",
}