Fingerprint
Dive into the research topics where Benedikt 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
Research output
-
Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories
Ahrens, B., Lumsdaine, P. L. & North, P. R., 28 Oct 2024, Programming Languages and Systems : 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings. Kiselyov, O. (ed.). 1 ed. Springer, p. 3-22 20 p. (Lecture Notes in Computer Science; vol. 15194).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile10 Downloads (Pure) -
Displayed Monoidal Categories for the Semantics of Linear Logic
Ahrens, B., Matthes, R., van der Weide, N. & Wullaert, K., 9 Jan 2024, CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM), p. 260-273 14 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile107 Downloads (Pure) -
Substitution for Non-Wellfounded Syntax with Binders Through Monoidal Categories
Matthes, R., Wullaert, K. & Ahrens, B., 5 Jul 2024, 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024) . Rehof, J. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik , p. 25:1-25:22 22 p. 25. (Leibniz International Proceedings in Informatics; vol. 299).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile49 Downloads (Pure) -
Univalent Double Categories
van der Weide, N., Rasekh, N., Ahrens, B. & North, P. R., 9 Jan 2024, CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM), p. 246-259 14 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile113 Downloads (Pure) -
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 AccessFile99 Downloads (Pure)
Projects
- 1 Finished
-
A theory of type theories
Ahrens, B. (Principal Investigator)
Engineering & Physical Science Research Council
1/03/20 → 31/08/22
Project: Research Councils