TY  - RPRT
TI  - A Coinductive Approach to Computing with Compact Sets
AU  - Ulrich Berger
AU  - Dieter Spreen
PY  - 2016
DO  - 10.4115/jla.2016.8.3
UR  - https://arxiv.org/abs/1510.08498
ID  - 1510.08498
ER  -