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
Contatto amministrativo: WILLITS
Tel.: +44-223-332219
Fax: +44-
Università degli Studi di Parma
Italy
Via Università 12
43100 Parma
Italy
See on map
Contatto amministrativo: ROSOLINI
Tel.: +39-521-205300
Fax: +39-521-205350