Thorsten Altenkirch, Ambrus Kaposi
Type theory in type theory using quotient inductive types
POPL, 2016.
@inproceedings{POPL-2016-AltenkirchK, author = "Thorsten Altenkirch and Ambrus Kaposi", booktitle = "{Proceedings of the 43rd Symposium on Principles of Programming Languages}", doi = "10.1145/2837614.2837638", ee = "https://www.wikidata.org/entity/Q61583695", isbn = "978-1-4503-3549-2", pages = "18--29", publisher = "{ACM}", title = "{Type theory in type theory using quotient inductive types}", year = 2016, }