Berger, Ulrich, Swansea University, United Kingdom

• Vol 8 (2016) - Articles
  A coinductive approach to computing with compact sets
  Abstract  3. [PDF]

Journal of Logic and Analysis ISSN: 1759-9008