Benedikt Ahrens

According to our database1, Benedikt Ahrens authored at least 21 papers between 2010 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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...