%0 Conference Paper %1 conf/fscd/0001R22 %A Cohen, Liron %A Rahli, Vincent %B FSCD %D 2022 %E Felty, Amy P. %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 10:1-10:23 %T Constructing Unprejudiced Extensional Type Theories with Choices via Modalities. %U http://dblp.uni-trier.de/db/conf/fscd/fscd2022.html#0001R22 %V 228 %@ 978-3-95977-233-4

@inproceedings{conf/fscd/0001R22, added-at = {2024-05-07T00:00:00.000+0200}, author = {Cohen, Liron and Rahli, Vincent}, biburl = {https://www.bibsonomy.org/bibtex/210b6c7efcf39bce92128a12500c9fac1/dblp}, booktitle = {FSCD}, crossref = {conf/fscd/2022}, editor = {Felty, Amy P.}, ee = {https://doi.org/10.4230/LIPIcs.FSCD.2022.10}, interhash = {4f1e98047dcd9e853aaead3d2466bb5d}, intrahash = {10b6c7efcf39bce92128a12500c9fac1}, isbn = {978-3-95977-233-4}, keywords = {dblp}, pages = {10:1-10:23}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:50:49.000+0200}, title = {Constructing Unprejudiced Extensional Type Theories with Choices via Modalities.}, url = {http://dblp.uni-trier.de/db/conf/fscd/fscd2022.html#0001R22}, volume = 228, year = 2022 }