A Pluralist Approach to Type-Theoretic Foundations. / Luo, Zhaohui.

Inter. Conf. on Type Theory, Homotopy Theory and Univalent Foundations. . 2013.

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

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

ID: 23230532