Benedikt Ahrens

Publications

  1. 2019
  2. Published

    From signatures to monads in UniMath

    Benedikt Ahrens, Matthes, R. & Mörtberg, A., 15 Aug 2019, In : Journal of Automated Reasoning. 63, 2, p. 285-318 34 p.

    Research output: Contribution to journalArticle

  3. Published

    Bicategories in univalent foundations

    Benedikt Ahrens, Frumin, D., Maggesi, M. & van der Weide, N., 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

  4. Published

    Modular specification of monads through higher-order presentations

    Benedikt Ahrens, Hirschowitz, A., Lafont, A. & Maggesi, M., 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

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

  6. Published

    Displayed Categories

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

    Research output: Contribution to journalArticle

  7. 2018
  8. Published

    Categorical structures for type theory in univalent foundations

    Benedikt Ahrens, Lumsdaine, P. L. & Voevodsky, V., 11 Sep 2018, In : Logical Methods in Computer Science. 14, 3, 18 p., 4814.

    Research output: Contribution to journalArticle

  9. Published

    High-level signatures and initial semantics

    Benedikt Ahrens, Hirschowitz, A., Lafont, A. & Maggesi, M., 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

  10. Accepted/In press

    Univalent Foundations and the Equivalence Principle

    Benedikt Ahrens & Randall North, P., 28 Jul 2018, (Accepted/In press) In : Synthese. 15 p.

    Research output: Contribution to journalArticle

  11. Published

    Heterogeneous substitution systems revisited

    Benedikt Ahrens & Matthes, R., 16 Feb 2018, 21st International Conference on Types and Proofs and Programs - TYPES 2015 - Postproceedings. Uustalu, T. (ed.). Schloss Dagstuhl, Vol. 69. p. 2:1 - 2:23 23 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 69).

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

  12. 2017
  13. Published

    Displayed Categories

    Benedikt Ahrens & Lumsdaine, P. L., 3 Sep 2017, 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017). Miller, D. (ed.). Schloss Dagstuhl, Vol. 84. p. 5:1–5:16 (Leibniz International Proceedings in Informatics (LIPIcs); vol. 84).

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

Previous 1 2 Next