×
Author ID: ahrens.benedikt Recent zbMATH articles by "Ahrens, Benedikt"
Published as: Ahrens, Benedikt
Homepage: https://benediktahrens.net
External Links: MGP · ORCID · Google Scholar · dblp · IdRef · theses.fr
Videos: carmin.tv

Publications by Year

Citations contained in zbMATH Open

21 Publications have been cited 87 times in 48 Documents Cited by Year
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
250
2013
Univalent categories and the Rezk completion. Zbl 1362.18003
Ahrens, Benedikt; Kapulkin, Krzysztof; Shulman, Michael
26
2015
Displayed categories. Zbl 1419.18001
Ahrens, Benedikt; Lefanu Lumsdaine, Peter
9
2019
Modules over relative monads for syntax and semantics. Zbl 1361.68034
Ahrens, Benedikt
7
2016
Non-wellfounded trees in homotopy type theory. Zbl 1433.03027
Ahrens, Benedikt; Capriotti, Paolo; Spadotti, Régis
6
2015
Categorical structures for type theory in univalent foundations. Zbl 1496.03053
Ahrens, Benedikt; Lumsdaine, Peter Lefanu; Voevodsky, Vladimir
6
2018
A higher structure identity principle. Zbl 1498.03027
Ahrens, Benedikt; North, Paige Randall; Shulman, Michael; Tsementzis, Dimitris
4
2020
From signatures to monads in UniMath. Zbl 1468.03007
Ahrens, Benedikt; Matthes, Ralph; Mörtberg, Anders
3
2019
Categorical structures for type theory in univalent foundations. Zbl 1528.03100
Ahrens, Benedikt; Lumsdaine, Peter LeFanu; Voevodsky, Vladimir
3
2017
Displayed categories. Zbl 1434.18002
Ahrens, Benedikt; Lumsdaine, Peter LeFanu
3
2017
High-level signatures and initial semantics. Zbl 1533.68184
Ahrens, Benedikt; Hirschowitz, André; Lafont, Ambroise; Maggesi, Marco
3
2018
Modular specification of monads through higher-order presentations. Zbl 07559272
Ahrens, Benedikt; Hirschowitz, André; Lafont, Ambroise; Maggesi, Marco
3
2019
Terminal semantics for codata types in intensional Martin-Löf type theory. Zbl 1367.68204
Ahrens, Benedikt; Spadotti, Régis
2
2015
Heterogeneous substitution systems revisited. Zbl 1433.68220
Ahrens, Benedikt; Matthes, Ralph
2
2018
Initial semantics for higher-order typed syntax in Coq. Zbl 1451.68312
Ahrens, Benedikt; Zsido, Julianna
2
2011
Presentable signatures and initial semantics. Zbl 07379288
Ahrens, Benedikt; Hirschowitz, André; Lafont, Ambroise; Maggesi, Marco
2
2021
Bicategories in univalent foundations. Zbl 1528.18019
Ahrens, Benedikt; Frumin, Dan; Maggesi, Marco; van der Weide, Niels
2
2019
Some wellfounded trees in UniMath (extended abstract). Zbl 1434.03023
Ahrens, Benedikt; Mörtberg, Anders
1
2016
Initiality for typed syntax and semantics. Zbl 1362.68040
Ahrens, Benedikt
1
2012
Initiality for typed syntax and semantics. Zbl 1451.68072
Ahrens, Benedikt
1
2015
Bicategories in univalent foundations. Zbl 1514.18019
Ahrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolò; van der Weide, Niels
1
2021
Presentable signatures and initial semantics. Zbl 07379288
Ahrens, Benedikt; Hirschowitz, André; Lafont, Ambroise; Maggesi, Marco
2
2021
Bicategories in univalent foundations. Zbl 1514.18019
Ahrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolò; van der Weide, Niels
1
2021
A higher structure identity principle. Zbl 1498.03027
Ahrens, Benedikt; North, Paige Randall; Shulman, Michael; Tsementzis, Dimitris
4
2020
Displayed categories. Zbl 1419.18001
Ahrens, Benedikt; Lefanu Lumsdaine, Peter
9
2019
From signatures to monads in UniMath. Zbl 1468.03007
Ahrens, Benedikt; Matthes, Ralph; Mörtberg, Anders
3
2019
Modular specification of monads through higher-order presentations. Zbl 07559272
Ahrens, Benedikt; Hirschowitz, André; Lafont, Ambroise; Maggesi, Marco
3
2019
Bicategories in univalent foundations. Zbl 1528.18019
Ahrens, Benedikt; Frumin, Dan; Maggesi, Marco; van der Weide, Niels
2
2019
Categorical structures for type theory in univalent foundations. Zbl 1496.03053
Ahrens, Benedikt; Lumsdaine, Peter Lefanu; Voevodsky, Vladimir
6
2018
High-level signatures and initial semantics. Zbl 1533.68184
Ahrens, Benedikt; Hirschowitz, André; Lafont, Ambroise; Maggesi, Marco
3
2018
Heterogeneous substitution systems revisited. Zbl 1433.68220
Ahrens, Benedikt; Matthes, Ralph
2
2018
Categorical structures for type theory in univalent foundations. Zbl 1528.03100
Ahrens, Benedikt; Lumsdaine, Peter LeFanu; Voevodsky, Vladimir
3
2017
Displayed categories. Zbl 1434.18002
Ahrens, Benedikt; Lumsdaine, Peter LeFanu
3
2017
Modules over relative monads for syntax and semantics. Zbl 1361.68034
Ahrens, Benedikt
7
2016
Some wellfounded trees in UniMath (extended abstract). Zbl 1434.03023
Ahrens, Benedikt; Mörtberg, Anders
1
2016
Univalent categories and the Rezk completion. Zbl 1362.18003
Ahrens, Benedikt; Kapulkin, Krzysztof; Shulman, Michael
26
2015
Non-wellfounded trees in homotopy type theory. Zbl 1433.03027
Ahrens, Benedikt; Capriotti, Paolo; Spadotti, Régis
6
2015
Terminal semantics for codata types in intensional Martin-Löf type theory. Zbl 1367.68204
Ahrens, Benedikt; Spadotti, Régis
2
2015
Initiality for typed syntax and semantics. Zbl 1451.68072
Ahrens, Benedikt
1
2015
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
250
2013
Initiality for typed syntax and semantics. Zbl 1362.68040
Ahrens, Benedikt
1
2012
Initial semantics for higher-order typed syntax in Coq. Zbl 1451.68312
Ahrens, Benedikt; Zsido, Julianna
2
2011

Citations by Year