Benedikt Ahrens

Publications

  1. 2020
  2. Accepted/In press

    A Higher Structure Identity Principle

    Benedikt Ahrens, 11 Apr 2020, (Accepted/In press) 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020). IEEE Computer Society Press, 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Published

    Reduction Monads and Their Signatures

    Benedikt Ahrens, 19 Jan 2020, In : Proceedings of the ACM on Programming Languages. 4, POPL, 29 p., 31.

    Research output: Contribution to journalConference article

  4. 2019
  5. E-pub ahead of print

    Univalent foundations and the equivalence principle

    Benedikt Ahrens, 12 Nov 2019, Reflections on the Foundations of Mathematics. Centrone, S., Kant, D. & Sarikaya, D. (eds.). Springer, Vol. 407. p. 137-150 (Synthese Library).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  6. Published

    From signatures to monads in UniMath

    Benedikt Ahrens, 15 Aug 2019, In : Journal of Automated Reasoning. 63, 2, p. 285-318 34 p.

    Research output: Contribution to journalArticle

  7. Published

    Bicategories in univalent foundations

    Benedikt Ahrens, 1 Jun 2019, 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019). Geuvers, H. (ed.). Schloss Dagstuhl, p. 5:1-5:17 17 p. 5. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 131).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Published

    Modular specification of monads through higher-order presentations

    Benedikt Ahrens, 1 Jun 2019, 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019). Geuvers, H. (ed.). Schloss Dagstuhl, p. 6:1-6:19 19 p. 6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 131).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Published

    Initial semantics for reduction rules

    Benedikt Ahrens, 21 Mar 2019, In : Logical Methods in Computer Science. 15, 1, p. 28:1-28:45 45 p.

    Research output: Contribution to journalArticle

  10. Published

    Displayed Categories

    Benedikt Ahrens, 5 Mar 2019, In : Logical Methods in Computer Science. 15, 1, 18 p., 20.

    Research output: Contribution to journalArticle

  11. 2018
  12. Published

    Categorical structures for type theory in univalent foundations

    Benedikt Ahrens, 11 Sep 2018, In : Logical Methods in Computer Science. 14, 3, 18 p., 4814.

    Research output: Contribution to journalArticle

  13. Published

    High-level signatures and initial semantics

    Benedikt Ahrens, 21 Aug 2018, 27th EACSL Annual Conference on Computer Science Logic 2018 (CSL 2018). Ghica, D. R. & Jung, A. (eds.). Schloss Dagstuhl, p. 4:1 - 4:22 22 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 119).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 Next