TY  - RPRT
TI  - Dialectica models of additive-free linear logic
AU  - Jules Hedges
PY  - 2014
UR  - https://arxiv.org/abs/1401.4538
ID  - 1401.4538
ER  -