On the relation between modified bar recursion and other bar recursive definitions

Paulo Oliva

(BRICS, Ã…rhus, visiting Swansea)

I will present the work I have been doing with Ulrich Berger during the last two months. The talk will roughly consist of three parts: Introduction to the different forms of bar recursion and how they have been used; analysis of the relation between them, including the results we have obtained; open problems.
Tuesday 11th December 2001, 14:00
Board Room
Department of Computer Science