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
Università degli Studi di Parma
Italy
Via Università 12
43100 Parma
Italy
See on map