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
1422015
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
104*
Displayed Categories
B Ahrens, PLF Lumsdaine
Logical Methods in Computer Science 15, 2019
532019
Non-Wellfounded Trees in Homotopy Type Theory
B Ahrens, P Capriotti, R Spadotti
13th International Conference on Typed Lambda Calculi and Applications (TLCA …, 2015
462015
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
302019
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
232018
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
142019
Initial Semantics for higher-order typed syntax in Coq
B Ahrens, J Zsidó
Journal of Formalized Reasoning 4 (1), 25 - 69, 2011
142011
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
132019
Initiality for typed syntax and semantics
B Ahrens
International Workshop on Logic, Language, Information, and Computation, 127-141, 2012
122012
Univalent Foundations and the equivalence principle
B Ahrens, PR North
Reflections on the foundations of mathematics: univalent foundations, set …, 2019
112019
Heterogeneous substitution systems revisited
B Ahrens, R Matthes
TYPES 2015 post-proceedings, 2016
92016
Initiality for Typed Syntax and Semantics - PhD thesis
B Ahrens
Journal of Formalized Reasoning 8 (2), 1 - 155, 2015
82015
Extended Initiality for Typed Abstract Syntax
B Ahrens
Logical Methods in Computer Science 8 (2), 1 - 35, 2012
82012
Univalent Monoidal Categories
K Wullaert, R Matthes, B Ahrens
arXiv preprint arXiv:2212.03146, 2022
72022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20