TY  - RPRT
TI  - Continuity as a computational effect
AU  - Renato Neves
AU  - Luis S. Barbosa
AU  - Dirk Hofmann
AU  - Manuel A. Martins
PY  - 2016
DO  - 10.1016/j.jlamp.2016.05.005
UR  - https://arxiv.org/abs/1507.03219
ID  - 1507.03219
ER  -