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]
Abstract is missing.