Computads for weak -categories as an inductive type CJ Dean, E Finster, I Markakis, D Reutter, J Vicary arXiv preprint arXiv:2208.08719, 2022 | 4 | 2022 |
Computing minimal generating systems for some special toric ideals DI Dais, I Markakis arXiv preprint arXiv:1705.06339, 2017 | 1 | 2017 |
Computads for generalised signatures I Markakis Journal of Pure and Applied Algebra 228 (9), 107675, 2024 | | 2024 |
CaTT contexts are finite computads T Benjamin, I Markakis, C Sarti arXiv preprint arXiv:2405.00398, 2024 | | 2024 |
Duality for weak -categories T Benjamin, I Markakis arXiv preprint arXiv:2402.01611, 2024 | | 2024 |