Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

Categorical Logic in Computer Science

Von 1989-10-01 bis 1992-03-31

Projektdetails

Gesamtkosten:

Nicht verfügbar

EU-Beitrag:

Nicht verfügbar

Koordiniert in:

United Kingdom

Ziel

Koordinator

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

Teilnehmer

AARHUS UNIVERSITET
Denmark
NORDRE RINGGADE, 1
8000 AARHUS
Denmark
See on map
Administrative Kontaktangaben: Glynn WINSKEL
Tel.: +45-4586127188
Fax: +45-4586135725
E-Mail-Adresse
Centre National de la Recherche Scientifique (CNRS)
France
1919 route de Mende
34405 Montpellier
France
See on map
Administrative Kontaktangaben: Pierre-Louis CURIEN
Tel.: +33-1-44322063
Fax: +33-1-44322080
E-Mail-Adresse
Gesellschaft für Mathematik und Datenverarbeitung mbH
Germany
Schloß Birlinghoven
53754 Sankt Augustin
Germany
See on map
Administrative Kontaktangaben: Axel POIGNE
Tel.: +49-2241142440
Fax: +49-2241142516
E-Mail-Adresse
Institut National de Recherche en Informatique et en Automatique - INRIA
France
Domaine de Voluceau-Rocquencourt
78153 Le Chesnay
France
See on map
Administrative Kontaktangaben: 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
Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben