Follow
Ioannis Markakis
Ioannis Markakis
Verified email at cam.ac.uk - Homepage
Title
Cited by
Cited by
Year
Computads for weak -categories as an inductive type
CJ Dean, E Finster, I Markakis, D Reutter, J Vicary
arXiv preprint arXiv:2208.08719, 2022
42022
Computing minimal generating systems for some special toric ideals
DI Dais, I Markakis
arXiv preprint arXiv:1705.06339, 2017
12017
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
The system can't perform the operation now. Try again later.
Articles 1–5