Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages.

Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev

Browse the full LICS paper archive.