TY  - RPRT
TI  - Proceedings First International Workshop on Focusing
AU  - Iliano Cervesato
AU  - Carsten Schürmann
PY  - 2015
DO  - 10.4204/eptcs.197
UR  - https://arxiv.org/abs/1511.02529
ID  - 1511.02529
ER  -