TY  - RPRT
TI  - Proceedings 8th International Workshop on Developments in Computational Models
AU  - Benedikt Löwe
AU  - Glynn Winskel
PY  - 2014
DO  - 10.4204/eptcs.143
UR  - https://arxiv.org/abs/1403.7579
ID  - 1403.7579
ER  -