%0 Conference Paper %1 conf/mfcs/0001PRT23 %A Cohen, Liron %A da Rocha Paiva, Bruno %A Rahli, Vincent %A Tosun, Ayberk %B MFCS %D 2023 %E Leroux, Jérôme %E Lombardy, Sylvain %E Peleg, David %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 37:1-37:16 %T Inductive Continuity via Brouwer Trees. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs2023.html#0001PRT23 %V 272 %@ 978-3-95977-292-1

@inproceedings{conf/mfcs/0001PRT23, added-at = {2024-05-07T00:00:00.000+0200}, author = {Cohen, Liron and da Rocha Paiva, Bruno and Rahli, Vincent and Tosun, Ayberk}, biburl = {https://www.bibsonomy.org/bibtex/20993e8e715c24f933182c790d7207a19/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/2023}, editor = {Leroux, Jérôme and Lombardy, Sylvain and Peleg, David}, ee = {https://doi.org/10.4230/LIPIcs.MFCS.2023.37}, interhash = {f882e3170e1664dbee0c04571d7943bd}, intrahash = {0993e8e715c24f933182c790d7207a19}, isbn = {978-3-95977-292-1}, keywords = {dblp}, pages = {37:1-37:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:45:01.000+0200}, title = {Inductive Continuity via Brouwer Trees.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs2023.html#0001PRT23}, volume = 272, year = 2023 }