Recent publications
Article
Ahrens, B, North, PR & van der Weide, N 2023, 'Bicategorical type theory: semantics and syntax', Mathematical Structures in Computer Science. https://doi.org/10.1017/S0960129523000312
Ahrens, B, Emmenegger, J, North, PR & Rijke, E 2023, 'B-systems and C-systems are equivalent', Journal of Symbolic Logic. https://doi.org/10.1017/jsl.2023.41
Ahrens, B, Frumin, D, Maggesi, M, Veltri, N & Van Der Weide, N 2022, 'Bicategories in univalent foundations', Mathematical Structures in Computer Science, vol. 31, no. Special Issue 10, pp. 1232–1269. 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
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, Lumsdaine, PL & North, PR 2024, Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories. in O Kiselyov (ed.), Programming Languages and Systems : 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings. 1 edn, Lecture Notes in Computer Science, vol. 15194, Springer, pp. 3-22, The 22nd Asian Symposium on Programming Languages and Systems, Kyoto, Japan, 22/10/24. https://doi.org/10.1007/978-981-97-8943-6_1
Ahrens, B, Matthes, R, van der Weide, N & Wullaert, K 2024, Displayed Monoidal Categories for the Semantics of Linear Logic. in CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM), pp. 260-273, CPP '24, London, United Kingdom, 15/01/24. https://doi.org/10.1145/3636501.3636956
Matthes, R, Wullaert, K & Ahrens, B 2024, Substitution for Non-Wellfounded Syntax with Binders Through Monoidal Categories. in J Rehof (ed.), 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024) ., 25, Leibniz International Proceedings in Informatics, vol. 299, Schloss Dagstuhl - Leibniz-Zentrum für Informatik , pp. 25:1-25:22, 9th International Conference on Formal Structures for Computation and Deduction, Tallinn, Estonia, 10/07/24. https://doi.org/10.4230/LIPIcs.FSCD.2024.25
van der Weide, N, Rasekh, N, Ahrens, B & North, PR 2024, Univalent Double Categories. in CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM), pp. 246-259, CPP '24, London, United Kingdom, 15/01/24. https://doi.org/10.1145/3636501.3636955
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 LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, Association for Computing Machinery (ACM), 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Haifa, Israel, 2/08/22. https://doi.org/10.1145/3531130.3533334
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
View all publications in research portal