Benedikt Ahrens

Identifiers

• name variant Benedikt Ahrens 0.60 · backfill

Papers (9)

1. Modular specification of monads through higher-order presentations cs.LO · 2019 · author #1
2. From signatures to monads in UniMath cs.LO · 2016 · author #1
3. Non-wellfounded trees in Homotopy Type Theory cs.LO · 2015 · author #1
4. Terminal semantics for codata types in intensional Martin-L\"of type theory cs.LO · 2014 · author #1
5. Univalent categories and the Rezk completion math.CT · 2013 · author #1
6. Initiality for Typed Syntax and Semantics cs.LO · 2012 · author #1
7. Initiality for Typed Syntax and Semantics cs.LO · 2012 · author #1
8. Modules over relative monads for syntax and semantics cs.LO · 2011 · author #1
9. Initial Semantics for higher-order typed syntax in Coq cs.LO · 2010 · author #1

Mentions

• 1504.02949 #1 · backfill · confidence 0.70 Benedikt Ahrens
• 1401.1053 #1 · backfill · confidence 0.70 Benedikt Ahrens
• 1303.0584 #1 · backfill · confidence 0.70 Benedikt Ahrens
• 1206.4556 #1 · backfill · confidence 0.70 Benedikt Ahrens
• 1206.4547 #1 · backfill · confidence 0.70 Benedikt Ahrens
• 1107.5252 #1 · backfill · confidence 0.70 Benedikt Ahrens
• 1012.1010 #1 · backfill · confidence 0.70 Benedikt Ahrens

Frequent Coauthors

• R\'egis Spadotti 2 shared papers
• Ambroise Lafont 1 shared papers
• Anders M\"ortberg 1 shared papers
• Andr\'e Hirschowitz 1 shared papers
• Chris Kapulkin 1 shared papers
• Julianna Zsido 1 shared papers
• Marco Maggesi 1 shared papers
• Michael Shulman 1 shared papers
• Paolo Capriotti 1 shared papers
• Ralph Matthes 1 shared papers