Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

Categorical Logic in Computer Science

Dal 1989-10-01 al 1992-03-31

Dettagli del progetto

Costo totale:

Non disponibile

Contributo UE:

Non disponibile

Coordinato in:

United Kingdom

Obiettivo

Coordinatore

IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
United Kingdom
Queens Gate 180
SW7 2BZ LONDON
United Kingdom
See on map
Contatto amministrativo: Samson ABRAMSKY
Tel.: +44-71-5895111
Fax: +44-71-5818024
E-mail

Partecipanti

AARHUS UNIVERSITET
Denmark
NORDRE RINGGADE, 1
8000 AARHUS
Denmark
See on map
Contatto amministrativo: Glynn WINSKEL
Tel.: +45-4586127188
Fax: +45-4586135725
E-mail
Centre National de la Recherche Scientifique (CNRS)
France
1919 route de Mende
34405 Montpellier
France
See on map
Contatto amministrativo: Pierre-Louis CURIEN
Tel.: +33-1-44322063
Fax: +33-1-44322080
E-mail
Gesellschaft für Mathematik und Datenverarbeitung mbH
Germany
Schloß Birlinghoven
53754 Sankt Augustin
Germany
See on map
Contatto amministrativo: Axel POIGNE
Tel.: +49-2241142440
Fax: +49-2241142516
E-mail
Institut National de Recherche en Informatique et en Automatique - INRIA
France
Domaine de Voluceau-Rocquencourt
78153 Le Chesnay
France
See on map
Contatto amministrativo: T COQUAND
Tel.: +33-
Fax: +33-
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
United Kingdom
Wilberforce Road
CB3 0WB CAMBRIDGE
United Kingdom
See on map
Università degli Studi di Parma
Italy
Via Università 12
43100 Parma
Italy
See on map