Benedikt Ahrens

Available identifiers

zbMath Open ahrens.benediktDBLP12/8910WikidataQ61875707 ScholiaQ61875707MaRDI QIDQ2319988

List of research outcomes

Publication	Date of Publication	Type
Bicategorical type theory: semantics and syntax	2024-03-05	Paper
Univalent Double Categories	2023-10-13	Paper
Univalent Foundations and the Equivalence Principle	2023-09-20	Paper
Formalizing Monoidal Categories and Actions for Syntax with Binders	2023-07-30	Paper
Bicategories in univalent foundations	2022-12-09	Paper
Univalent Monoidal Categories	2022-12-06	Paper
Category Theory for Programming	2022-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q5089004	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5089005	2022-07-18	Paper
High-level signatures and initial semantics	2022-05-28	Paper
Implementing a Category-Theoretic Framework for Typed Abstract Syntax	2021-12-13	Paper
Algebraic Presentations of Dependent Type Theories	2021-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q5009703	2021-08-05	Paper
The Univalence Principle	2021-02-11	Paper
A Higher Structure Identity Principle	2021-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q5111175	2020-05-26	Paper
Displayed Categories	2020-05-26	Paper
Initial Semantics for higher-order typed syntax in Coq	2019-09-18	Paper
Initiality for Typed Syntax and Semantics	2019-09-18	Paper
From signatures to monads in \textsf{UniMath}	2019-08-21	Paper
Initial Semantics for Reduction Rules	2019-05-17	Paper
Displayed Categories	2019-03-18	Paper
Bicategories in Univalent Foundations	2019-03-04	Paper
Modular specification of monads through higher-order presentations	2019-03-03	Paper
Categorical structures for type theory in univalent foundations	2018-09-26	Paper
Heterogeneous Substitution Systems Revisited	2018-08-13	Paper
Non-wellfounded trees in Homotopy Type Theory	2017-07-12	Paper
Terminal semantics for codata types in intensional Martin-L\"of type theory	2017-07-12	Paper
Some Wellfounded Trees in UniMath	2016-09-28	Paper
Modules over relative monads for syntax and semantics	2016-07-28	Paper
Univalent categories and the Rezk completion	2016-07-27	Paper
Initiality for Typed Syntax and Semantics	2012-09-21	Paper
Extended Initiality for Typed Abstract Syntax	2012-05-16	Paper
Insights From Univalent Foundations: A Case Study Using Double Categories	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Benedikt Ahrens