Original language | English |
---|---|
Title of host publication | Inter. Conf. on Type Theory, Homotopy Theory and Univalent Foundations. |
Publication status | Published - 2013 |
A Pluralist Approach to Type-Theoretic Foundations.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution