Recent publications
Article
Finster, E, Vicary, J, Markakis, I & Dean, C 2024, '', Advances in Mathematics, vol. 450, 109739.
Benjamin, T, Finster, E & Mimram, S 2024, '', Higher Structures, vol. 8, no. 2, pp. 1-69.
Anel, M, Biedermann, G, Finster, E & Joyal, A 2024, '', Journal of Pure and Applied Algebra, vol. 228, no. 3, 107472.
Anel, M, Biedermann, G, Finster, E & Joyal, A 2022, '', Advances in Mathematics, vol. 400, 108268.
Finster, E, Anel, M, Biedermann, G & Joyal, A 2020, '', Journal of Topology.
Finster, E, Anel, M, Joyal, A & Biedermann, G 2018, '', Journal of Topology.
Conference contribution
Finster, E, Rice, AA & Vicary, J 2024, . in LICS '24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science., 34, Association for Computing Machinery (ACM), LICS '24, Tallinn, Estonia, 8/07/24.
Finster, E, Reutter, D, Vicary, J & Rice, AA 2022, . in LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science., 48, Association for Computing Machinery (ACM),
LICS '22, Haifa, Israel, 2/08/22.
Finster, E, Mimram, S, Lucas, M & Seiller, T 2021, . in A Sokolova (ed.), Proceedings 37th Conference on Mathematical Foundations of Programming Semantics. EPTCS, vol. 351, Open Publishing Association, pp. 67-83, 37th Conference on Mathematical Foundations of Programming Semantics, Salzburg, Austria, 30/08/21.
Finster, E, Sozeau, M & Allioux, A 2021, . in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)., 9470541, Proceedings - Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers (IEEE).
Finster, E & Mimram, S 2017, . in LICS 鈥�17 Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science.
Finster, E, Licata, D, Lumsdaine, PL & Hou, K-B 2016, . in LICS 鈥�16 31st Annual ACM/IEEE Symposium on Logic in Computer Science.
Finster, E & Licata, D 2014, . in LICS 鈥�14 Proceedings 28th Annual ACM/IEEE Symposium on Logic in Computer Science.