Progress Report for the First Year of the Esprit Working Group Types
15 September 1996 - 14 September 1997
Summary
Reports from the 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 Edinburgh
University of Helsinki
University of Manchester
Université de Paris 7
The Universities of Stockholm and Uppsala
University of Torino
University of Udine
University of Utrecht
Back to the TYPES home page.
Jan Smith
12/8/1997
Back to the TYPES home page.