next up previous contents
Next: Visits: Kent Up: Small Visits and Previous: Visitors: Swansea

Visitors: Uppsala

 

U Berger from LMU is visiting Uppsala 1 Jan - 31 Aug 1995 to work on the theory of domains and streams and to continue his work on abstracting programs from classical proofs in theories with inductive definitions.

U Berger, E Palmgren and V Stoltenberg-Hansen participated with talks in the CLICS-TYPES Workshop on Categories and Type Theory at Gothenburg 7 -- 10 Jan, 1995.

In addition, J V Tucker visited Uppsala 24 Sept -- 29 Sept to further collaborative work on Abstract Computability.



Bernhard Moeller
Fri May 12 14:21:20 MET DST 1995