%0 Conference Paper %1 conf/types/BradleyL22 %A Bradley, Felix %A Luo, Zhaohui %B TYPES %D 2022 %E Kesner, Delia %E Pédrot, Pierre-Marie %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 9:1-9:21 %T A Metatheoretic Analysis of Subtype Universes. %U http://dblp.uni-trier.de/db/conf/types/types2022.html#BradleyL22 %V 269 %@ 978-3-95977-285-3

@inproceedings{conf/types/BradleyL22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Bradley, Felix and Luo, Zhaohui}, biburl = {https://www.bibsonomy.org/bibtex/2822bd364c2c802bd3fbf331bba9bec61/dblp}, booktitle = {TYPES}, crossref = {conf/types/2022}, editor = {Kesner, Delia and Pédrot, Pierre-Marie}, ee = {https://doi.org/10.4230/LIPIcs.TYPES.2022.9}, interhash = {9f05813b3ef63c011d3779083611743c}, intrahash = {822bd364c2c802bd3fbf331bba9bec61}, isbn = {978-3-95977-285-3}, keywords = {dblp}, pages = {9:1-9:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T16:34:29.000+0200}, title = {A Metatheoretic Analysis of Subtype Universes.}, url = {http://dblp.uni-trier.de/db/conf/types/types2022.html#BradleyL22}, volume = 269, year = 2022 }