Login / Signup

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

Naohiko HoshinoKoko MuroyaIchiro Hasuo
Published in: CSL-LICS (2014)
Keyphrases