Recent publications
Article
Anel, M, Biedermann, G, Finster, E & Joyal, A 2022, 'Higher sheaves and left-exact localizations of ∞-topoi', Advances in Mathematics, vol. 400, 108268. https://doi.org/10.1016/j.aim.2022.108268
Conference contribution
Finster, E, Mimram, S, Lucas, M & Seiller, T 2021, A cartesian bicategory of polynomial functors in homotopy type theory. 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. https://doi.org/10.4204/EPTCS.351.5
Finster, E, Sozeau, M & Allioux, A 2021, Types are internal ∞-groupoids. 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). https://doi.org/10.1109/LICS52264.2021.9470541
View all publications in research portal