TY  - RPRT
TI  - On Geometry of Interaction for Polarized Linear Logic
AU  - Masahiro Hamano
AU  - Philip Scott
PY  - 2017
UR  - https://arxiv.org/abs/1503.00886
ID  - 1503.00886
ER  -