Lambda-calcul type
Dal 1993-05-01
al 1998-04-30
Dettagli del progetto
Costo totale:
Non disponibileContributo UE:
Non disponibileCoordinato in:
FranceArgomento (i):
Meccanismo di finanziamento:
CSC - Cost-sharing contractsCoordinatore
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE
France
Partecipanti
Katholieke Universiteit Nijmegen
Netherlands
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
United Kingdom
Pembroke Street, New Museums Site
CB2 3QG CAMBRIDGE
United Kingdom
See on map
CB2 3QG CAMBRIDGE
United Kingdom
See on map
Contatto amministrativo: N/A
UNIVERSITY OF TORINO
Italy
UNIVERSITÉ DE PARIS VII DENIS DIDEROT
France
University of Edinburgh
United Kingdom
Università degli Studi di Roma La Sapienza
Italy
Università degli Studi di Udine
Italy
École Normale Supérieure
France