Dimitris Tsementzis
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| The univalence principle Memoirs of the American Mathematical Society | 2025-01-28 | Paper |
| scientific article; zbMATH DE number 7599499 (Why is no real title available?) | 2022-10-11 | Paper |
| A meaning explanation for HoTT Synthese | 2021-12-01 | Paper |
| The Univalence Principle | 2021-02-11 | Paper |
| A higher structure identity principle Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
| What is a Higher-Level Set? Philosophia Mathematica | 2019-02-26 | Paper |
| Univalent foundations as structuralist foundations Synthese | 2018-03-27 | Paper |
| A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE Journal of Symbolic Logic | 2018-01-11 | Paper |
| Theoretical equivalence in classical mechanics and its relationship to duality Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics | 2017-10-04 | Paper |
| Finite Inverse Categories as Signatures | 2017-07-23 | Paper |
| A Higher Structure Identity Principle | 2017-02-24 | Paper |
| First-Order Logic with Isomorphism | 2016-03-09 | Paper |
Research outcomes over time
This page was built for person: Dimitris Tsementzis
