Fingerprint

Dive into the research topics where B.P. Ahrens is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories

    Ahrens, B. P., LeFanu Lumsdaine, P. & North, P. R., 2024, Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Proceedings: 22nd Asian Symposium, APLAS 2024, Proceedings. Kiselyov, O. (ed.). Springer, p. 3-22 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15194 LNCS).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  • 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: ACM, p. 260-273 14 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
    83 Downloads (Pure)
  • Substitution for Non-Wellfounded Syntax with Binders Through Monoidal Categories

    Matthes, R., Wullaert, K. & Ahrens, B., 2024, 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024). Rehof, J. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 22 p. 25. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 299).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
    16 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: 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 volumeConference contributionScientificpeer-review

    Open Access
    File
    64 Downloads (Pure)
  • Bicategorical type theory: Semantics and syntax

    Ahrens, B., North, P. R. & Van Der Weide, N., 2023, In: Mathematical Structures in Computer Science. 33 , 10, p. 868-912 45 p.

    Research output: Contribution to journalArticleScientificpeer-review

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