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]

Authors

Masahiro Hamano

This author has not been identified. Look up 'Masahiro Hamano' in Google

Philip J. Scott

This author has not been identified. Look up 'Philip J. Scott' in Google