Localisable Monads

Carmen Constantin, Nuiok Dicaire, Chris Heunen. Localisable Monads. In Florin Manea, Alex Simpson, editors, 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference). Volume 216 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

Abstract

Abstract is missing.