Dimitris Tsementzis

According to our database, Dimitris Tsementzis authored at least 7 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2021

The Univalence Principle.

Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis

CoRR, 2021

2020

A meaning explanation for HoTT.

Dimitris Tsementzis

Synth., 2020

A Higher Structure Identity Principle.

Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2017

Univalent foundations as structuralist foundations.

Dimitris Tsementzis

Synth., 2017

A Syntactic characterization of Morita Equivalence.

Dimitris Tsementzis

J. Symb. Log., 2017

Finite Inverse Categories as Signatures.

Dimitris Tsementzis, Matthew Weaver

CoRR, 2017

A Higher Structure Identity Principle.

Dimitris Tsementzis

CoRR, 2017