TY  - RPRT
TI  - Interaction Systems and Linear Logic, a different games semantics
AU  - Pierre Hyvernat
PY  - 2009
UR  - https://arxiv.org/abs/0905.4062
ID  - 0905.4062
ER  -