%0 Conference Paper %1 conf/types/BezemCDE22 %A Bezem, Marc %A Coquand, Thierry %A Dybjer, Peter %A Escardó, Martín %B TYPES %D 2022 %E Kesner, Delia %E Pédrot, Pierre-Marie %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 13:1-13:16 %T Type Theory with Explicit Universe Polymorphism. %U http://dblp.uni-trier.de/db/conf/types/types2022.html#BezemCDE22 %V 269 %@ 978-3-95977-285-3

@inproceedings{conf/types/BezemCDE22, added-at = {2023-07-31T00:00:00.000+0200}, author = {Bezem, Marc and Coquand, Thierry and Dybjer, Peter and Escardó, Martín}, biburl = {https://www.bibsonomy.org/bibtex/276add91b55e71baa629c730bb2fd8ffc/dblp}, booktitle = {TYPES}, crossref = {conf/types/2022}, editor = {Kesner, Delia and Pédrot, Pierre-Marie}, ee = {https://doi.org/10.4230/LIPIcs.TYPES.2022.13}, interhash = {2fcbcf2a57334b769d362083eafcdba3}, intrahash = {76add91b55e71baa629c730bb2fd8ffc}, isbn = {978-3-95977-285-3}, keywords = {dblp}, pages = {13:1-13:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T16:34:29.000+0200}, title = {Type Theory with Explicit Universe Polymorphism.}, url = {http://dblp.uni-trier.de/db/conf/types/types2022.html#BezemCDE22}, volume = 269, year = 2022 }