Stephan Alexander Spahn. Mendler Dialgebras and Recursion Schemes of Mixed Variance. 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.