Constructing Unprejudiced Extensional Type Theories with Choices via Modalities.

Liron Cohen, Vincent Rahli

Browse the full FSCD paper archive.