Skip to main content

Lambda-calcul type

Funding Scheme

CSC - Cost-sharing contracts

Coordinator

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE
Address
Avenue De Luminy 163
13288 Marseille
France

Participants (8)

Katholieke Universiteit Nijmegen
Netherlands
Address
1,Toernooiveld 1
6525 ED Nijmegen
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
United Kingdom
Address
Pembroke Street, New Museums Site
CB2 3QG Cambridge
UNIVERSITY OF TORINO
Italy
Address
Corso Svizzera 185
10149 Torino (Turin)
UNIVERSITÉ DE PARIS VII DENIS DIDEROT
France
Address
Place Jussieu, 2 Tour 45/55, 5 Ème Étage
75251 Paris
University of Edinburgh
United Kingdom
Address
Mayfield Road
EH9 3JZ Edinburgh
Università degli Studi di Roma La Sapienza
Italy
Address
Via Salaria 113-116
00198 Roma
Università degli Studi di Udine
Italy
Address
Viale Delle Scienze 206
33100 Udine
École Normale Supérieure
France
Address
45 Rue D'ulm
75230 Paris