| Univalent categories and the Rezk completion B Ahrens, K Kapulkin, M Shulman Mathematical Structures in Computer Science 25 (Special Issue 05), 1010-1039, 2015 | 137 | 2015 |
| Homotopy type theory: Univalent foundations of mathematics Univalent Foundations Program Univalent Foundations, 2013 | 119* | 2013 |
| UniMath—a computer-checked library of univalent mathematics V Voevodsky, B Ahrens, D Grayson | 95* | |
| Displayed Categories B Ahrens, PLF Lumsdaine Logical Methods in Computer Science 15, 2019 | 43 | 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 | 43 | 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 | 25 | 2019 |
| The Univalence Principle B Ahrens, PR North, M Shulman, D Tsementzis arXiv preprint arXiv:2102.06275, 2021 | 24* | 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 | 13* | 2021 |
| From Signatures to Monads in UniMath B Ahrens, R Matthes, A Mörtberg Journal of Automated Reasoning 63 (2), 285-318, 2019 | 13 | 2019 |
| 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 | 13 | 2019 |
| Initial Semantics for higher-order typed syntax in Coq B Ahrens, J Zsidó Journal of Formalized Reasoning 4 (1), 25 - 69, 2011 | 13 | 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 | 11* | 2022 |
| Univalent Foundations and the equivalence principle B Ahrens, PR North Reflections on the foundations of mathematics: univalent foundations, set …, 2019 | 11 | 2019 |
| Initiality for typed syntax and semantics B Ahrens International Workshop on Logic, Language, Information, and Computation, 127-141, 2012 | 11 | 2012 |
| Heterogeneous substitution systems revisited B Ahrens, R Matthes TYPES 2015 post-proceedings, 2016 | 8 | 2016 |
| 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 |
| Extended Initiality for Typed Abstract Syntax B Ahrens Logical Methods in Computer Science 8 (2), 1 - 35, 2012 | 7 | 2012 |
| Initiality for Typed Syntax and Semantics - PhD thesis B Ahrens Journal of Formalized Reasoning 8 (2), 1 - 155, 2015 | 6 | 2015 |
Paige Randall NorthUniversity of PennsylvaniaVerified email at upenn.edu
