TY  - RPRT
TI  - Proceedings Third International Workshop on Linearity
AU  - Sandra Alves
AU  - Iliano Cervesato
PY  - 2015
DO  - 10.4204/eptcs.176
UR  - https://arxiv.org/abs/1502.04419
ID  - 1502.04419
ER  -