No photo of B.P. Ahrens

B.P. Ahrens

Dr.

  • 5 Conference contribution
  • 3 Article
Filter
Conference contribution

Search results

  • 2024

    Displayed Monoidal Categories for the Semantics of Linear Logic

    Ahrens, B., Matthes, R., Van Der Weide, N. & Wullaert, K., 2024, CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs. Timany, A., Traytel, D., Pientka, B. & Blazy, S. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), p. 260-273 14 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    42 Downloads (Pure)

  • Univalent Double Categories

    Van Der Weide, N., Rasekh, N., Ahrens, B. & North, P. R., 2024, CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024. Timany, A., Traytel, D., Pientka, B. & Blazy, S. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), p. 246-259 14 p. (CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    27 Downloads (Pure)
  • 2023

    Univalent Monoidal Categories

    Wullaert, K., Matthes, R. & Ahrens, B., 2023, 28th International Conference on Types for Proofs and Programs, TYPES 2022. Kesner, D. & Pedrot, P-M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 21 p. 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 269).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    2 Citations (Scopus)
    26 Downloads (Pure)
  • 2022

    Implementing a Category-Theoretic Framework for Typed Abstract Syntax

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

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

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

  • Semantics for two-dimensional type theory

    Ahrens, B., North, P. R. & van der Weide, N., 2022, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022. New York: Association for Computing Machinery (ACM), 14 p. 12

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

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