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

Infinitary Rewriting for Type Systems

Dal 2016-08-01 al 2018-07-31, progetto in corso

Dettagli del progetto

Costo totale:

EUR 200 194,80

Contributo UE:

EUR 200 194,80

Coordinato in:

Denmark

Invito a presentare proposte:

H2020-MSCA-IF-2015See other projects for this call

Meccanismo di finanziamento:

MSCA-IF-EF-ST - Standard EF

Obiettivo

Coordinatore

KOBENHAVNS UNIVERSITET
Denmark

Contributo UE: EUR 200 194,80


NORREGADE 10
1165 KØBENHAVN
Denmark
Activity type: Higher or Secondary Education Establishments
Numero di registrazione: 202865 / Ultimo aggiornamento: 2016-12-15