Benedikt Ahrens

1. Category Theory for Programming
   2022/09/02 by Benedikt Ahrens, Ahrens, Benedikt, Kobe Wullaert +1 · 2 voices
   Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.PL #math.CT
2. Non-Wellfounded Trees in Homotopy Type Theory
   2015/01/01 by Benedikt Ahrens, Paolo Capriotti, Régis Spadotti · 2 voices
   Computer Science · Mathematics · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Homotopy and Cohomology in Algebraic Topology #cs.LO #math.CT
3. Rzk: a Proof Assistant for Synthetic ∞-Categories
   2026/07/13 by Nikolai Kudasov, Violetta Sim, Benedikt Ahrens · 1 voice
   #cs.LO #cs.PL #math.CT
4. An Introduction to Different Approaches to Initial Semantics
   2024/01/17 by Thomas Lamiaux, Lamiaux, Thomas, Benedikt Ahrens +1 · 1 citation
   Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Software Engineering Research
5. Verification of a DPLL Transition System in Rocq
   2026/07/16 by Julia Dijkstra, Benedikt Ahrens
   #cs.LO