Benedikt Ahrens

Orcid: 0000-0002-6786-4538

According to our database1, Benedikt Ahrens authored at least 37 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
An Introduction to Different Approaches to Initial Semantics.
CoRR, 2024

Univalent Double Categories.
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

Displayed Monoidal Categories for the Semantics of Linear Logic.
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023
Bicategorical type theory: semantics and syntax.
Math. Struct. Comput. Sci., 2023

Substitution for Non-Wellfounded Syntax with Binders.
CoRR, 2023

Formalizing Monoidal Categories and Actions for Syntax with Binders.
CoRR, 2023

2022
Category Theory for Programming.
CoRR, 2022

Univalent foundations and the equivalence principle.
CoRR, 2022

The solutions to single-variable polynomials, implemented and verified in Lean.
CoRR, 2022

Univalent Monoidal Categories.
Proceedings of the 28th International Conference on Types for Proofs and Programs, 2022

Semantics for two-dimensional type theory.
Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Implementing a category-theoretic framework for typed abstract syntax.
Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021
Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations - Part II.
Math. Struct. Comput. Sci., 2021

Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations.
Math. Struct. Comput. Sci., 2021

Bicategories in univalent foundations.
Math. Struct. Comput. Sci., 2021

Presentable signatures and initial semantics.
Log. Methods Comput. Sci., 2021

The Univalence Principle.
CoRR, 2021

2020
Reduction monads and their signatures.
Proc. ACM Program. Lang., 2020

A Higher Structure Identity Principle.
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019
Displayed Categories.
Log. Methods Comput. Sci., 2019

Initial Semantics for Reduction Rules.
Log. Methods Comput. Sci., 2019

From Signatures to Monads in UniMath.
J. Autom. Reason., 2019

Modular Specification of Monads Through Higher-Order Presentations.
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Bicategories in Univalent Foundations.
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018
Categorical structures for type theory in univalent foundations.
Log. Methods Comput. Sci., 2018

High-Level Signatures and Initial Semantics.
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2016
Modules over relative monads for syntax and semantics.
Math. Struct. Comput. Sci., 2016

Some Wellfounded Trees in UniMath - Extended Abstract.
Proceedings of the Mathematical Software - ICMS 2016, 2016

2015
Univalent categories and the Rezk completion.
Math. Struct. Comput. Sci., 2015

Initiality for Typed Syntax and Semantics.
J. Formaliz. Reason., 2015

Heterogeneous Substitution Systems Revisited.
Proceedings of the 21st International Conference on Types for Proofs and Programs, 2015

Non-Wellfounded Trees in Homotopy Type Theory.
Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015

2014
Coinitial semantics for redecoration of triangular matrices.
CoRR, 2014

Terminal Semantics for Codata Types in Intensional Martin-Löf Type Theory.
Proceedings of the 20th International Conference on Types for Proofs and Programs, 2014

2012
Extended Initiality for Typed Abstract Syntax
Log. Methods Comput. Sci., 2012

2011
Initial Semantics for higher-order typed syntax in Coq.
J. Formaliz. Reason., 2011

2010
Initial Semantics for higher-order typed syntax
CoRR, 2010


  Loading...