%0 Conference Paper %1 conf/lics/JongKFX23 %A de Jong, Tom %A Kraus, Nicolai %A Forsberg, Fredrik Nordvall %A Xu, Chuangjie %B LICS %D 2023 %I IEEE %K dblp %P 1-13 %T Set-Theoretic and Type-Theoretic Ordinals Coincide. %U http://dblp.uni-trier.de/db/conf/lics/lics2023.html#JongKFX23 %@ 979-8-3503-3587-3

@inproceedings{conf/lics/JongKFX23, added-at = {2024-05-29T00:00:00.000+0200}, author = {de Jong, Tom and Kraus, Nicolai and Forsberg, Fredrik Nordvall and Xu, Chuangjie}, biburl = {https://www.bibsonomy.org/bibtex/212de4eeaff2fd69321243b6040db24d0/dblp}, booktitle = {LICS}, crossref = {conf/lics/2023}, ee = {https://doi.org/10.1109/LICS56636.2023.10175762}, interhash = {6fcd0a6d7cfcbf756696632ff6a32c98}, intrahash = {12de4eeaff2fd69321243b6040db24d0}, isbn = {979-8-3503-3587-3}, keywords = {dblp}, pages = {1-13}, publisher = {IEEE}, timestamp = {2024-06-03T07:16:45.000+0200}, title = {Set-Theoretic and Type-Theoretic Ordinals Coincide.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2023.html#JongKFX23}, year = 2023 }