Liron Cohen 0001, Vincent Rahli. Constructing Unprejudiced Extensional Type Theories with Choices via Modalities. In Amy P. Felty, editor, 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, August 2-5, 2022, Haifa, Israel. Volume 228 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
Abstract is missing.