A Pluralist Approach to Type-Theoretic Foundations.

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

Original languageEnglish
Title of host publication Inter. Conf. on Type Theory, Homotopy Theory and Univalent Foundations.
Publication statusPublished - 2013

Cite this