Constructing Unprejudiced Extensional Type Theories with Choices via Modalities

Liron Cohen, Vincent Rahli

Research output: Chapter in Book/Report/Conference proceedingConference contribution

25 Downloads (Pure)
Original languageEnglish
Title of host publicationFSCD 2022
Publication statusPublished - 2022

Cite this