Research output per year
Research output per year
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
- 1 Conference contribution
-
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 AccessFile3 Downloads (Pure)