Published in: LIPIcs, Volume 188, 26th International Conference on Types for Proofs and Programs (TYPES 2020)
Harry Maclean and Zhaohui Luo. Subtype Universes. In 26th International Conference on Types for Proofs and Programs (TYPES 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 188, pp. 9:1-9:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{maclean_et_al:LIPIcs.TYPES.2020.9, author = {Maclean, Harry and Luo, Zhaohui}, title = {{Subtype Universes}}, booktitle = {26th International Conference on Types for Proofs and Programs (TYPES 2020)}, pages = {9:1--9:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-182-5}, ISSN = {1868-8969}, year = {2021}, volume = {188}, editor = {de'Liguoro, Ugo and Berardi, Stefano and Altenkirch, Thorsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2020.9}, URN = {urn:nbn:de:0030-drops-138880}, doi = {10.4230/LIPIcs.TYPES.2020.9}, annote = {Keywords: Type theory, coercive subtyping, subtype universe} }
Feedback for Dagstuhl Publishing