Progress Report for the First Year of the Esprit Working Group Types
15 September 1996 - 14 September 1997
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 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
Back to the TYPES home page.
Back to the TYPES home page.