Moana Jubert. Kleisli Categories with Display Maps. In Fredrik Nordvall Forsberg, James McKinna, editors, 31st International Conference on Types for Proofs and Programs, TYPES 2025, University of Strathclyde, Glasgow, Scotland, UK, June 9-13, 2025. Volume 384 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]
@inproceedings{Jubert25,
title = {Kleisli Categories with Display Maps},
author = {Moana Jubert},
year = {2025},
doi = {10.4230/LIPIcs.TYPES.2025.9},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2025.9},
researchr = {https://researchr.org/publication/Jubert25},
cites = {0},
citedby = {0},
booktitle = {31st International Conference on Types for Proofs and Programs, TYPES 2025, University of Strathclyde, Glasgow, Scotland, UK, June 9-13, 2025},
editor = {Fredrik Nordvall Forsberg and James McKinna},
volume = {384},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-441-3},
}