Benedikt Ahrens

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 43

Top Topics

Anti Unification

Broad Categories

Top Venues

Math. Struct. Comput. Sci.

Log. Methods Comput. Sci.

Publications

Thomas Lamiaux, Benedikt Ahrens
An Introduction to Different Approaches to Initial Semantics. CoRR (2024)
Niels van der Weide, Nima Rasekh, Benedikt Ahrens, Paige Randall North
Univalent Double Categories. CPP (2024)
Ralph Matthes, Kobe Wullaert, Benedikt Ahrens
Substitution for Non-Wellfounded Syntax with Binders Through Monoidal Categories. FSCD (2024)
Benedikt Ahrens, Ralph Matthes, Niels van der Weide, Kobe Wullaert
Displayed Monoidal Categories for the Semantics of Linear Logic. CPP (2024)
Niels van der Weide, Nima Rasekh, Benedikt Ahrens, Paige Randall North
Univalent Double Categories. CoRR (2023)
Ralph Matthes, Kobe Wullaert, Benedikt Ahrens
Substitution for Non-Wellfounded Syntax with Binders. CoRR (2023)
Benedikt Ahrens, Ralph Matthes, Kobe Wullaert
Formalizing Monoidal Categories and Actions for Syntax with Binders. CoRR (2023)
Benedikt Ahrens, Paige Randall North, Niels van der Weide
Bicategorical type theory: semantics and syntax. Math. Struct. Comput. Sci. 33 (10) (2023)
Benedikt Ahrens, Paige Randall North, Niels van der Weide
Semantics for two-dimensional type theory. LICS (2022)
Kobe Wullaert, Ralph Matthes, Benedikt Ahrens
Univalent Monoidal Categories. CoRR (2022)
Benedikt Ahrens, Paige Randall North
Univalent foundations and the equivalence principle. CoRR (2022)
Benedikt Ahrens, Ralph Matthes, Anders Mörtberg
Implementing a category-theoretic framework for typed abstract syntax. CPP (2022)
Benedikt Ahrens, Paige Randall North, Niels van der Weide
Semantics for two-dimensional type theory. CoRR (2022)
Benedikt Ahrens, Kobe Wullaert
Category Theory for Programming. CoRR (2022)
Nicholas Dyson, Benedikt Ahrens, Jacopo Emmenegger
The solutions to single-variable polynomials, implemented and verified in Lean. CoRR (2022)
Kobe Wullaert, Ralph Matthes, Benedikt Ahrens
Univalent Monoidal Categories. TYPES (2022)
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
Presentable signatures and initial semantics. Log. Methods Comput. Sci. 17 (2) (2021)
Benedikt Ahrens, Simon Huber, Anders Mörtberg
Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations - Part II. Math. Struct. Comput. Sci. 31 (4) (2021)
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri, Niels van der Weide
Bicategories in univalent foundations. Math. Struct. Comput. Sci. 31 (10) (2021)
Benedikt Ahrens, Ralph Matthes, Anders Mörtberg
Implementing a Category-Theoretic Framework for Typed Abstract Syntax. CoRR (2021)
Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis
The Univalence Principle. CoRR (2021)
Benedikt Ahrens, Simon Huber, Anders Mörtberg
Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations. Math. Struct. Comput. Sci. 31 (1) (2021)
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
Reduction monads and their signatures. Proc. ACM Program. Lang. 4 (POPL) (2020)
Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis
A Higher Structure Identity Principle. CoRR (2020)
Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis
A Higher Structure Identity Principle. LICS (2020)
Benedikt Ahrens, Peter LeFanu Lumsdaine
Displayed Categories. Log. Methods Comput. Sci. 15 (1) (2019)
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
Modular Specification of Monads Through Higher-Order Presentations. FSCD (2019)
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
Reduction Monads and Their Signatures. CoRR (2019)
Benedikt Ahrens
Initial Semantics for Reduction Rules. Log. Methods Comput. Sci. 15 (1) (2019)
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niels van der Weide
Bicategories in Univalent Foundations. FSCD (2019)
Benedikt Ahrens, Ralph Matthes, Anders Mörtberg
From Signatures to Monads in UniMath. J. Autom. Reason. 63 (2) (2019)
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niels van der Weide
Bicategories in Univalent Foundations. CoRR (2019)
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
Modular specification of monads through higher-order presentations. CoRR (2019)
Benedikt Ahrens, Peter LeFanu Lumsdaine, Vladimir Voevodsky
Categorical structures for type theory in univalent foundations. Log. Methods Comput. Sci. 14 (3) (2018)
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
High-level signatures and initial semantics. CoRR (2018)
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
High-Level Signatures and Initial Semantics. CSL (2018)
Benedikt Ahrens, Peter LeFanu Lumsdaine, Vladimir Voevodsky
Categorical Structures for Type Theory in Univalent Foundations. CSL (2017)
Benedikt Ahrens, Peter LeFanu Lumsdaine
Displayed Categories. FSCD (2017)
Benedikt Ahrens, Peter LeFanu Lumsdaine, Vladimir Voevodsky
Categorical structures for type theory in univalent foundations. CoRR (2017)
Benedikt Ahrens, Ralph Matthes
Heterogeneous substitution systems revisited. CoRR (2016)
Benedikt Ahrens, Anders Mörtberg
Some Wellfounded Trees in UniMath - Extended Abstract. ICMS (2016)
Benedikt Ahrens
Modules over relative monads for syntax and semantics. Math. Struct. Comput. Sci. 26 (1) (2016)
Benedikt Ahrens, Ralph Matthes, Anders Mörtberg
From signatures to monads in UniMath. CoRR (2016)
Benedikt Ahrens, Paolo Capriotti, Régis Spadotti
Non-wellfounded trees in Homotopy Type Theory. CoRR (2015)
Benedikt Ahrens, Paolo Capriotti, Régis Spadotti
Non-Wellfounded Trees in Homotopy Type Theory. TLCA (2015)
Benedikt Ahrens, Ralph Matthes
Heterogeneous Substitution Systems Revisited. TYPES (2015)
Benedikt Ahrens, Krzysztof Kapulkin, Michael Shulman
Univalent categories and the Rezk completion. Math. Struct. Comput. Sci. 25 (5) (2015)
Benedikt Ahrens
Initiality for Typed Syntax and Semantics. J. Formaliz. Reason. 8 (2) (2015)
Benedikt Ahrens, Régis Spadotti
Coinitial semantics for redecoration of triangular matrices. CoRR (2014)
Benedikt Ahrens, Régis Spadotti
Terminal Semantics for Codata Types in Intensional Martin-Löf Type Theory. TYPES (2014)
Benedikt Ahrens
Initiality for Typed Syntax and Semantics CoRR (2012)
Benedikt Ahrens
Extended Initiality for Typed Abstract Syntax Log. Methods Comput. Sci. 8 (2) (2012)
Benedikt Ahrens
Initial Semantics for Reduction Rules CoRR (2012)
Benedikt Ahrens
Initiality for Typed Syntax and Semantics. WoLLIC (2012)
Benedikt Ahrens
Initiality for Typed Syntax and Semantics CoRR (2012)
Benedikt Ahrens
Modules over relative monads for syntax and semantics CoRR (2011)
Benedikt Ahrens, Julianna Zsido
Initial Semantics for higher-order typed syntax in Coq. J. Formaliz. Reason. 4 (1) (2011)
Benedikt Ahrens, Julianna Zsido
Initial Semantics for higher-order typed syntax CoRR (2010)