No photo of Benedikt Ahrens

View Scopus Profile

Benedikt Ahrens

Dr.

 https://orcid.org/0000-0002-6786-4538
20152023

Research activity per year

Search results

  • 2023

    Bicategorical type theory: semantics and syntax

    Ahrens, B., North, P. R. & van der Weide, N., 17 Oct 2023, (E-pub ahead of print) In: Mathematical Structures in Computer Science.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    3 Downloads (Pure)

  • B-systems and C-systems are equivalent

    Ahrens, B., Emmenegger, J., North, P. R. & Rijke, E., 29 Jun 2023, (E-pub ahead of print) In: Journal of Symbolic Logic.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    23 Downloads (Pure)
  • 2022

    Bicategories in univalent foundations

    Ahrens, B., Frumin, D., Maggesi, M., Veltri, N. & Van Der Weide, N., 9 Mar 2022, (E-pub ahead of print) In: Mathematical Structures in Computer Science.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    50 Downloads (Pure)

  • Implementing a category-theoretic framework for typed abstract syntax

    Ahrens, B., Matthes, R. & Mörtberg, A., 17 Jan 2022, CPP '22: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs. Popescu, A. & Zdancewic, S. (eds.). Association for Computing Machinery (ACM), p. 307-323 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    29 Downloads (Pure)

  • Semantics for two-dimensional type theory

    Ahrens, B., North, P. R. & Van Der Weide, N., 4 Aug 2022, LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery (ACM), (LICS: Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2021

    Presentable signatures and initial semantics

    Ahrens, B., Hirschowitz, A., Lafont, A. & Maggesi, M., 26 May 2021, In: Logical Methods in Computer Science. 17, 2, p. 17:1–17:28

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    17 Downloads (Pure)
  • 2020

    A Higher Structure Identity Principle

    Ahrens, B., Randall North, P., Shulman, M. & Tsementzis, D., 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 proceeding › Conference contribution

  • Reduction Monads and Their Signatures

    Ahrens, B., Hirschowitz, A., Lafont, A. & Maggesi, M., 19 Jan 2020, In: Proceedings of the ACM on Programming Languages. 4, POPL, 29 p., 31.

    Research output: Contribution to journal › Conference article › peer-review

    Open Access
    File
    2 Citations (Scopus)
    182 Downloads (Pure)
  • 2019

    Bicategories in univalent foundations

    Ahrens, B., 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 proceeding › Conference contribution

    Open Access
    File
    2 Citations (Scopus)
    76 Downloads (Pure)

  • Displayed Categories

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

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    4 Citations (Scopus)
    64 Downloads (Pure)

  • From signatures to monads in UniMath

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

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    1 Citation (Scopus)
    180 Downloads (Pure)

  • Initial semantics for reduction rules

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

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    74 Downloads (Pure)

  • Modular specification of monads through higher-order presentations

    Ahrens, B., 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 proceeding › Conference contribution

    Open Access
    File
    2 Citations (Scopus)
    50 Downloads (Pure)

  • Univalent foundations and the equivalence principle

    Ahrens, B. & Randall North, P., 12 Nov 2019, (E-pub ahead of print) 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 proceeding › Chapter (peer-reviewed) › peer-review

    5 Downloads (Pure)
  • 2018

    Categorical structures for type theory in univalent foundations

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

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    3 Citations (Scopus)
    34 Downloads (Pure)

  • Heterogeneous substitution systems revisited

    Ahrens, B. & 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 proceeding › Conference contribution

    Open Access
    File
    1 Citation (Scopus)
    51 Downloads (Pure)

  • High-level signatures and initial semantics

    Ahrens, B., 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 proceeding › Conference contribution

    Open Access
    File
    2 Citations (Scopus)
    58 Downloads (Pure)
  • 2017

    Categorical structures for type theory in univalent foundations

    Ahrens, B., Lumsdaine, P. L. & Voevodsky, V., 1 Aug 2017, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). Goranko, V. & Dam, M. (eds.). Schloss Dagstuhl, Vol. 82. p. 8:1–8:16 (Leibniz International Proceedings in Informatics (LIPIcs); vol. 82).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    2 Citations (Scopus)
    38 Downloads (Pure)

  • Displayed Categories

    Ahrens, B. & Lumsdaine, P. L., 3 Sept 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 proceeding › Conference contribution

    Open Access
    File
    3 Citations (Scopus)
    63 Downloads (Pure)
  • 2016

    Modules over relative monads for syntax and semantics

    Ahrens, B., Jan 2016, In: Mathematical Structures in Computer Science. 26, 1, p. 3-37 35 p.

    Research output: Contribution to journal › Article › peer-review

    6 Citations (Scopus)

  • Some wellfounded trees in UniMath

    Ahrens, B. & Mörtberg, A., 6 Jul 2016, Mathematical Software - ICMS 2016 : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. Greuel, G-M., Koch, T., Paule, P. & Sommese, A. (eds.). Springer Verlag, Vol. 9725. p. 9-17 (Lecture Notes in Computer Science ; vol. 9725).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)
  • 2015

    Initiality for typed syntax and semantics

    Ahrens, B., 2015, In: Journal of Formalized Reasoning. 8, 2, 155 p.

    Research output: Contribution to journal › Special issue › peer-review

    Open Access

  • Non-wellfounded trees in homotopy type theory

    Ahrens, B., Capriotti, P. & Spadotti, R., 1 Jul 2015, 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015). Altenkirch, T. (ed.). Schloss Dagstuhl, Vol. 38. p. 17-30 (Leibniz International Proceedings in Informatics (LIPIcs); vol. 38).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    4 Citations (Scopus)

  • Terminal Semantics for Codata Types in Intensional Martin-Löf Type Theory

    Ahrens, B. & Spadotti, R., 1 Oct 2015, 20th International Conference on Types for Proofs and Programs (TYPES 2014). Herbelin, H., Letouzey, P. & Sozeau, M. (eds.). Schloss Dagstuhl, Vol. 39. p. 1-26 (Leibniz International Proceedings in Informatics (LIPIcs); vol. 39).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Univalent categories and the Rezk completion

    Ahrens, B., Kapulkin, K. & Shulman, M., 1 Jun 2015, In: Mathematical Structures in Computer Science. 25, 5, p. 1010-1039 30 p.

    Research output: Contribution to journal › Article › peer-review

    31 Citations (Scopus)