Constructing Unprejudiced Extensional Type Theories with Choices via Modalities

MLA

Cohen, Liron, and Vincent Rahli. Constructing Unprejudiced Extensional Type Theories with Choices via Modalities. Jan. 2022. EBSCOhost, https://doi.org/10.4230/lipics.fscd.2022.10.

APA

Cohen, L., & Rahli, V. (2022). Constructing Unprejudiced Extensional Type Theories with Choices via Modalities. https://doi.org/10.4230/lipics.fscd.2022.10

Chicago

Cohen, Liron, and Vincent Rahli. 2022. “Constructing Unprejudiced Extensional Type Theories with Choices via Modalities,” January. doi:10.4230/lipics.fscd.2022.10.