Recent publications
Article
Ahrens, B, Frumin, D, Maggesi, M, Veltri, N & Van Der Weide, N 2022, 'Bicategories in univalent foundations', Mathematical Structures in Computer Science. https://doi.org/10.1017/S0960129522000032
Ahrens, B, Hirschowitz, A, Lafont, A & Maggesi, M 2021, 'Presentable signatures and initial semantics', Logical Methods in Computer Science, vol. 17, no. 2, pp. 17:1–17:28. https://doi.org/10.23638/LMCS-17(2:17)2021
Ahrens, B & Lumsdaine, PL 2019, 'Displayed Categories', Logical Methods in Computer Science, vol. 15, no. 1, 20. https://doi.org/10.23638/LMCS-15(1:20)2019
Ahrens, B, Matthes, R & Mörtberg, A 2019, 'From signatures to monads in UniMath', Journal of Automated Reasoning, vol. 63, no. 2, pp. 285-318. https://doi.org/10.1007/s10817-018-9474-4
Ahrens, B 2019, 'Initial semantics for reduction rules', Logical Methods in Computer Science, vol. 15, no. 1, pp. 28:1-28:45. https://doi.org/10.23638/LMCS-15(1:28)2019
Ahrens, B, Lumsdaine, PL & Voevodsky, V 2018, 'Categorical structures for type theory in univalent foundations', Logical Methods in Computer Science, vol. 14, no. 3, 18. https://doi.org/10.23638/LMCS-14(3:18)2018
Chapter (peer-reviewed)
Ahrens, B & Randall North, P 2019, Univalent foundations and the equivalence principle. in S Centrone , D Kant & D Sarikaya (eds), Reflections on the Foundations of Mathematics. vol. 407, Synthese Library, Springer, pp. 137-150. https://doi.org/10.1007/978-3-030-15655-8_6
Conference article
Ahrens, B, Hirschowitz, A, Lafont, A & Maggesi, M 2020, 'Reduction Monads and Their Signatures', Proceedings of the ACM on Programming Languages, vol. 4, no. POPL, 31. https://doi.org/10.1145/3371099
Conference contribution
Ahrens, B, Matthes, R & Mörtberg, A 2022, Implementing a category-theoretic framework for typed abstract syntax. in A Popescu & S Zdancewic (eds), CPP '22: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM), pp. 307-323, CPP '22, Philadelphia , Pennsylvania, United States, 17/01/22. https://doi.org/10.1145/3497775.3503678
Ahrens, B, North, PR & Van Der Weide, N 2022, Semantics for two-dimensional type theory. in 2022 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Proceedings - Symposium on Logic in Computer Science, IEEE, 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Haifa, Israel, 2/08/22. <https://ieeexplore.ieee.org/xpl/conhome/1000420/all-proceedings>
Ahrens, B, Randall North, P, Shulman, M & Tsementzis, D 2020, A Higher Structure Identity Principle. in 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020). IEEE Computer Society Press, 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), Online, 8/07/20.
Ahrens, B, Frumin, D, Maggesi, M & van der Weide, N 2019, Bicategories in univalent foundations. in H Geuvers (ed.), 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)., 5, Leibniz International Proceedings in Informatics, LIPIcs, vol. 131, Schloss Dagstuhl, pp. 5:1-5:17, International Conference on Formal Structures for Computation and Deduction (FSCD 2019), Dortmund, Germany, 24/06/19. https://doi.org/10.4230/LIPIcs.FSCD.2019.5
Ahrens, B, Hirschowitz, A, Lafont, A & Maggesi, M 2019, Modular specification of monads through higher-order presentations. in H Geuvers (ed.), 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)., 6, Leibniz International Proceedings in Informatics, LIPIcs, vol. 131, Schloss Dagstuhl, pp. 6:1-6:19, International Conference on Formal Structures for Computation and Deduction (FSCD 2019), Dortmund, Germany, 24/06/19. https://doi.org/10.4230/LIPIcs.FSCD.2019.6
Ahrens, B & Matthes, R 2018, Heterogeneous substitution systems revisited. in T Uustalu (ed.), 21st International Conference on Types and Proofs and Programs - TYPES 2015 - Postproceedings. vol. 69, Leibniz International Proceedings in Informatics (LIPIcs), vol. 69, Schloss Dagstuhl, pp. 2:1 - 2:23, 21st International Conference on Types and Proofs and Programs (TYPES 2015), Tallinn, Estonia, 18/05/15. https://doi.org/10.4230/LIPIcs.TYPES.2015.2
Ahrens, B, Hirschowitz, A, Lafont, A & Maggesi, M 2018, High-level signatures and initial semantics. in DR Ghica & A Jung (eds), 27th EACSL Annual Conference on Computer Science Logic 2018 (CSL 2018). Leibniz International Proceedings in Informatics (LIPIcs), vol. 119, Schloss Dagstuhl, pp. 4:1 - 4:22, 27th EACSL Annual Conference on Computer Science Logic 2018 (CSL 2018), Birmingham, United Kingdom, 4/09/18. https://doi.org/10.4230/LIPIcs.CSL.2018.4
View all publications in research portal