On geometry of interaction for polarized linear logic

Masahiro Hamano, Philip J. Scott. On geometry of interaction for polarized linear logic. Mathematical Structures in Computer Science, 28(10):1639-1694, 2018. [doi]

Abstract

Abstract is missing.