Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

Categorical Logic in Computer Science

Desde 1989-10-01 hasta 1992-03-31

Detalles del proyecto

Coste total:

No disponible

Aportación de la UE:

No disponible

Coordinado en:

United Kingdom

Objetivo

Coordinador

IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
United Kingdom
Queens Gate 180
SW7 2BZ LONDON
United Kingdom
See on map
Contacto administrativo: Samson ABRAMSKY
Tel.: +44-71-5895111
Fax: +44-71-5818024
Correo electrónico

Participantes

AARHUS UNIVERSITET
Denmark
NORDRE RINGGADE, 1
8000 AARHUS
Denmark
See on map
Contacto administrativo: Glynn WINSKEL
Tel.: +45-4586127188
Fax: +45-4586135725
Correo electrónico
Centre National de la Recherche Scientifique (CNRS)
France
1919 route de Mende
34405 Montpellier
France
See on map
Contacto administrativo: Pierre-Louis CURIEN
Tel.: +33-1-44322063
Fax: +33-1-44322080
Correo electrónico
Gesellschaft für Mathematik und Datenverarbeitung mbH
Germany
Schloß Birlinghoven
53754 Sankt Augustin
Germany
See on map
Contacto administrativo: Axel POIGNE
Tel.: +49-2241142440
Fax: +49-2241142516
Correo electrónico
Institut National de Recherche en Informatique et en Automatique - INRIA
France
Domaine de Voluceau-Rocquencourt
78153 Le Chesnay
France
See on map
Contacto administrativo: 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
Contacto administrativo: WILLITS
Tel.: +44-223-332219
Fax: +44-
Università degli Studi di Parma
Italy
Via Università 12
43100 Parma
Italy
See on map
Contacto administrativo: ROSOLINI
Tel.: +39-521-205300
Fax: +39-521-205350
Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba