Implementing Computable Analysis

Jens Blanck

(Swansea University)

A tutorial on how to compute with uncountable data.
Thursday 20th October 2016, 15:00
Room 909 (Talbot Lower Ground)
Department of Computer Science