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
-
From Semantics to Syntax: A Type Theory for Comprehension Categories
Najmaei, N., Van der Weide, N., Ahrens, B. & North, P. R., 2026, In: Proceedings of the ACM on Programming Languages. 10, p. 2409-2438 30 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
2-Functoriality of Initial Semantics, and Applications
Ahrens, B., Lafont, A. & Lamiaux, T., 2025, In: Proceedings of the ACM on Programming Languages. 9, ICFP, 32 p., 258.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile4 Downloads (Pure) -
Algebraic Presentations of Type Dependency
Ahrens, B., Emmenegger, J., North, P. R. & Rijke, E., 2025, In: Logical Methods in Computer Science. 21, 1, 71 p., 14.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile13 Downloads (Pure) -
Insights from Univalent Foundations: A Case Study Using Double Categories
Rasekh, N., van der Weide, N., Ahrens, B. & North, P. R., 2025, 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025. Endrullis, J. & Schmitz, S. (eds.). Schloss Dagstuhl, 18 p. 45. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 326).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile14 Downloads (Pure) -
Scott’s Representation Theorem and the Univalent Karoubi Envelope
van der Leer, A., Wullaert, K. & Ahrens, B., 2025, 16th International Conference on Interactive Theorem Proving, ITP 2025. Forster, Y. & Keller, C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20 p. 33. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 352).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile