pith. sign in

Benedikt Ahrens

Identifiers

  • name variant Benedikt Ahrens 0.60 · backfill

Papers (10)

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

Mentions

  • 2412.19946 #1 · arxiv_oai · confidence 0.70 Benedikt Ahrens
  • 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