Folgen
Benedikt Ahrens
Titel
Zitiert von
Zitiert von
Jahr
Univalent categories and the Rezk completion
B Ahrens, K Kapulkin, M Shulman
Mathematical Structures in Computer Science 25 (Special Issue 05), 1010-1039, 2015
1462015
Homotopy type theory: Univalent foundations of mathematics
Univalent Foundations Program
Univalent Foundations, 2013
124*2013
UniMath—a computer-checked library of univalent mathematics
V Voevodsky, B Ahrens, D Grayson
108*
Displayed Categories
B Ahrens, PLF Lumsdaine
Logical Methods in Computer Science 15, 2019
572019
Non-Wellfounded Trees in Homotopy Type Theory
B Ahrens, P Capriotti, R Spadotti
13th International Conference on Typed Lambda Calculi and Applications (TLCA …, 2015
482015
Modules over relative monads for syntax and semantics
B Ahrens
Mathematical Structures in Computer Science, 1-35, 2014
34*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
322019
The Univalence Principle
B Ahrens, PR North, M Shulman, D Tsementzis
arXiv preprint arXiv:2102.06275, 2021
28*2021
Categorical structures for type theory in univalent foundations
B Ahrens, PLF Lumsdaine, V Voevodsky
Logical Methods in Computer Science 14, 2018
252018
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
162019
From Signatures to Monads in UniMath
B Ahrens, R Matthes, A Mörtberg
Journal of Automated Reasoning 63 (2), 285-318, 2019
152019
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
14*2022
Presentable signatures and initial semantics
M Maggesi, A Lafont, A Hirschowitz, B Ahrens
Logical Methods in Computer Science 17, 2021
14*2021
Univalent Foundations and the equivalence principle
B Ahrens, PR North
Reflections on the foundations of mathematics: univalent foundations, set …, 2019
142019
Initial Semantics for higher-order typed syntax in Coq
B Ahrens, J Zsidó
Journal of Formalized Reasoning 4 (1), 25 - 69, 2011
142011
Initiality for typed syntax and semantics
B Ahrens
International Workshop on Logic, Language, Information, and Computation, 127-141, 2012
122012
Bicategorical type theory: semantics and syntax
B Ahrens, PR North, N Van Der Weide
Mathematical Structures in Computer Science 33 (10), 868-912, 2023
9*2023
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
92019
Heterogeneous substitution systems revisited
B Ahrens, R Matthes
TYPES 2015 post-proceedings, 2016
92016
Univalent Monoidal Categories
K Wullaert, R Matthes, B Ahrens
arXiv preprint arXiv:2212.03146, 2022
82022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20