| Univalent categories and the Rezk completion B Ahrens, K Kapulkin, M Shulman Mathematical Structures in Computer Science 25 (Special Issue 05), 1010-1039, 2015 | 141 | 2015 |
| Homotopy type theory: Univalent foundations of mathematics Univalent Foundations Program Univalent Foundations, 2013 | 121* | 2013 |
| UniMath—a computer-checked library of univalent mathematics V Voevodsky, B Ahrens, D Grayson | 103* | |
| Displayed Categories B Ahrens, PLF Lumsdaine Logical Methods in Computer Science 15, 2019 | 52 | 2019 |
| Non-Wellfounded Trees in Homotopy Type Theory B Ahrens, P Capriotti, R Spadotti 13th International Conference on Typed Lambda Calculi and Applications (TLCA …, 2015 | 46 | 2015 |
| Modules over relative monads for syntax and semantics B Ahrens Mathematical Structures in Computer Science, 1-35, 2014 | 33* | 2014 |
| Bicategories in Univalent Foundations B Ahrens, D Frumin, M Maggesi, N van der Weide Formal Structures for Computation and Deduction (FSCD) 2019 131, 2019 | 30 | 2019 |
| The Univalence Principle B Ahrens, PR North, M Shulman, D Tsementzis arXiv preprint arXiv:2102.06275, 2021 | 26* | 2021 |
| Categorical structures for type theory in univalent foundations B Ahrens, PLF Lumsdaine, V Voevodsky Logical Methods in Computer Science 14, 2018 | 23 | 2018 |
| Presentable signatures and initial semantics M Maggesi, A Lafont, A Hirschowitz, B Ahrens Logical Methods in Computer Science 17, 2021 | 14* | 2021 |
| Modular specification of monads through higher-order presentations B Ahrens, A Hirschowitz, A Lafont, M Maggesi Formal Structures for Computation and Deduction (FSCD) 2019 131, 2019 | 14 | 2019 |
| Initial Semantics for higher-order typed syntax in Coq B Ahrens, J Zsidó Journal of Formalized Reasoning 4 (1), 25 - 69, 2011 | 14 | 2011 |
| Implementing a Category-Theoretic Framework for Typed Abstract Syntax B Ahrens, R Matthes, A Mörtberg Proceedings of the 11th ACM SIGPLAN International Conference on Certified …, 2022 | 13* | 2022 |
| From Signatures to Monads in UniMath B Ahrens, R Matthes, A Mörtberg Journal of Automated Reasoning 63 (2), 285-318, 2019 | 13 | 2019 |
| Initiality for typed syntax and semantics B Ahrens International Workshop on Logic, Language, Information, and Computation, 127-141, 2012 | 11 | 2012 |
| Univalent Foundations and the equivalence principle B Ahrens, PR North Reflections on the foundations of mathematics: univalent foundations, set …, 2019 | 10 | 2019 |
| Heterogeneous substitution systems revisited B Ahrens, R Matthes TYPES 2015 post-proceedings, 2016 | 9 | 2016 |
| Extended Initiality for Typed Abstract Syntax B Ahrens Logical Methods in Computer Science 8 (2), 1 - 35, 2012 | 8 | 2012 |
| Univalent Monoidal Categories K Wullaert, R Matthes, B Ahrens arXiv preprint arXiv:2212.03146, 2022 | 7 | 2022 |
| Reduction monads and their signatures B Ahrens, A Hirschowitz, A Lafont, M Maggesi Proceedings of the ACM on Programming Languages 4 (POPL), 31:1-31:29, 2019 | 7 | 2019 |
Paige Randall NorthUniversity of PennsylvaniaVerified email at upenn.edu
