Dominic Horsman Postdoctoral Research Associate, Durham University Program Visits Logical Structures in Computation, Fall 2016, Visiting Scientist Website Opens new tab