Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

Categorical Logic in Computer Science

De 1989-10-01 à 1992-03-31

Détails concernant le projet

Coût total:

Non disponible

Contribution de l'UE:

Non disponible

Coordonné à/au(x)/en:

United Kingdom

Objectif

Coordinateur

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

Participants

AARHUS UNIVERSITET
Denmark
NORDRE RINGGADE, 1
8000 AARHUS
Denmark
See on map
Contact administratif: Glynn WINSKEL
Tél.: +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
Contact administratif: Pierre-Louis CURIEN
Tél.: +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
Contact administratif: Axel POIGNE
Tél.: +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
Contact administratif: T COQUAND
Tél.: +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
Contact administratif: WILLITS
Tél.: +44-223-332219
Fax: +44-
Università degli Studi di Parma
Italy
Via Università 12
43100 Parma
Italy
See on map
Contact administratif: ROSOLINI
Tél.: +39-521-205300
Fax: +39-521-205350