Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

ERC

CoqHoTT

Project ID: 637339
Gefördert unter

Coq for Homotopy Type Theory

Von 2015-06-01 bis 2020-05-31, Laufendes Projekt

Projektdetails

Gesamtkosten:

EUR 1 498 290

EU-Beitrag:

EUR 1 498 290

Koordiniert in:

France

Aufruf zur Vorschlagseinreichung:

ERC-2014-STGSee other projects for this call

Finanzierungsprogramm:

ERC-STG - Starting Grant

Ziel

Verwandte Informationen

Gasteinrichtung

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France

EU-Beitrag: EUR 1 498 290


Domaine de Voluceau, Rocquencourt
78153 LE CHESNAY Cedex
France
Activity type: Research Organisations

Empfänger

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France

EU-Beitrag: EUR 1 498 290


Domaine de Voluceau, Rocquencourt
78153 LE CHESNAY Cedex
France
Activity type: Research Organisations

To know more

Datensatznummer: 193485 / Zuletzt geändert am: 2016-05-30
Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben