Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

ERC

CoqHoTT

Project ID: 637339
Finanziato nell'ambito di

Coq for Homotopy Type Theory

Dal 2015-06-01 al 2020-05-31, progetto in corso

Dettagli del progetto

Costo totale:

EUR 1 498 290

Contributo UE:

EUR 1 498 290

Coordinato in:

France

Invito a presentare proposte:

ERC-2014-STGSee other projects for this call

Meccanismo di finanziamento:

ERC-STG - Starting Grant

Obiettivo

Deliverables

Deliverables not available

Publications

Publications not available

Istituzione ospitante

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
France

Contributo UE: EUR 1 498 290


DOMAINE DE VOLUCEAU ROCQUENCOURT
78153 LE CHESNAY CEDEX
France
Activity type: Research Organisations

Contact the organisation

Beneficiari

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
France

Contributo UE: EUR 1 498 290


DOMAINE DE VOLUCEAU ROCQUENCOURT
78153 LE CHESNAY CEDEX
France
Activity type: Research Organisations

Contact the organisation

To know more