A Higher Structure Identity Principle. - Dimitris Tsementzis (CoRR, 2017)

Finite Inverse Categories as Signatures. - Dimitris Tsementzis; Matthew Weaver (CoRR, 2017)

A Syntactic characterization of Morita Equivalence. - Dimitris Tsementzis (J. Symb. Log., 2017)

Univalent foundations as structuralist foundations. - Dimitris Tsementzis (Synth., 2017)

A Higher Structure Identity Principle. - Benedikt Ahrens; Paige Randall North; Michael Shulman; Dimitris Tsementzis (LICS, 2020)

A meaning explanation for HoTT. - Dimitris Tsementzis (Synth., 2020)

The Univalence Principle. - Benedikt Ahrens; Paige Randall North; Michael Shulman; Dimitris Tsementzis (CoRR, 2021)