Memoryful geometry of interaction: from coalgebraic components to algebraic effects.

Naohiko Hoshino, Koko Muroya, Ichiro Hasuo

Browse the full CSL paper archive.