Progress Report for the Third Year of the Esprit Working Group Types
15 September 1998 - 14 September 1999

• Summary
• Reports from sites and subsites
  • Chalmers
  • ENS Lyon and INRIA Rocquencourt
  • INRIA Sophia-Antipolis
  • Katholieke Univ. Nijmegen
  • Techniche Universität, München
  • Univiversity of Birmingham
  • Univiversity of Cambridge
  • University of Darmstadt
  • University of Durham
  • University of Edinburgh
  • University of Helsinki
  • University of Manchester
  • University of Oxford
  • University of Padova
  • Université de Paris 7
  • Queen Mary and Westfield College, University of London
  • The Universities of Stockholm and Uppsala
  • University of Torino
  • University of Udine
  • University of Utrecht