Ioannis Markakis

According to our database, Ioannis Markakis authored at least 6 papers between 2024 and 2026.

Collaborative distances:

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

2026

A type theory for invertibility in weak ω-categories.

Thibaut Benjamin, Camil Champin, Ioannis Markakis

CoRR, February, 2026

2025

Higher Eckmann-Hilton Arguments in Type Theory.

Thibaut Benjamin, Ioannis Markakis, Wilfred Offord, Chiara Sarti, Jamie Vicary

CoRR, January, 2025

Naturality for higher-dimensional path types.

Thibaut Benjamin, Ioannis Markakis, Wilfred Offord, Chiara Sarti, Jamie Vicary

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

2024

Invertible cells in ω-categories.

Thibaut Benjamin, Ioannis Markakis

CoRR, 2024

CaTT contexts are finite computads.

Thibaut Benjamin, Ioannis Markakis, Chiara Sarti

Proceedings of the 40th Conference on the Mathematical Foundations of Programming Semantics, 2024

Duality for weak ω-categories and the suspension and hom adjunction.

Thibaut Benjamin, Ioannis Markakis

CoRR, 2024