@misc{indiciaeb9963a11f452, title = {Dialectica models of additive-free linear logic}, author = {Jules Hedges}, year = {2014}, url = {https://arxiv.org/abs/1401.4538}, note = {Source identifier: 1401.4538} }