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]
No references recorded for this publication.
No citations of this publication recorded.