Benedikt Ahrens
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CSL | Insights from Univalent Foundations: A Case Study Using Double Categories. | Nima Rasekh, Niels van der Weide, Benedikt Ahrens, Paige Randall North |
| 2025 | ITP | Scott's Representation Theorem and the Univalent Karoubi Envelope. | Arnoud van der Leer, Kobe Wullaert, Benedikt Ahrens |
| 2024 | APLAS | Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories. | Benedikt Ahrens, Peter LeFanu Lumsdaine, Paige Randall North |
| 2024 | CPP | Displayed Monoidal Categories for the Semantics of Linear Logic. | Benedikt Ahrens, Ralph Matthes, Niels van der Weide, Kobe Wullaert |
| 2024 | CPP | Univalent Double Categories. | Niels van der Weide, Nima Rasekh, Benedikt Ahrens, Paige Randall North |
| 2024 | FSCD | Substitution for Non-Wellfounded Syntax with Binders Through Monoidal Categories. | Ralph Matthes, Kobe Wullaert, Benedikt Ahrens |
| 2022 | CPP | Implementing a category-theoretic framework for typed abstract syntax. | Benedikt Ahrens, Ralph Matthes, Anders Mrtberg |
| 2022 | LICS | Semantics for two-dimensional type theory. | Benedikt Ahrens, Paige Randall North, Niels van der Weide |
| 2020 | LICS | A Higher Structure Identity Principle. | Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis |
| 2018 | CSL | High-Level Signatures and Initial Semantics. | Benedikt Ahrens, Andr Hirschowitz, Ambroise Lafont, Marco Maggesi |
| 2017 | CSL | Categorical Structures for Type Theory in Univalent Foundations. | Benedikt Ahrens, Peter LeFanu Lumsdaine, Vladimir Voevodsky |
| 2012 | WoLLIC | Initiality for Typed Syntax and Semantics. | Benedikt Ahrens |