Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

Infinitary Rewriting for Type Systems

From 2016-08-01 to 2018-07-31, ongoing project

Project details

Total cost:

EUR 200 194,8

EU contribution:

EUR 200 194,8

Coordinated in:

Denmark

Call for proposal:

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

Funding scheme:

MSCA-IF-EF-ST - Standard EF

Objective

Related information

Open Access

Coordinator

KOBENHAVNS UNIVERSITET
Denmark

EU contribution: EUR 200 194,8


NORREGADE 10
1165 KOBENHAVN
Denmark
Record Number: 202865 / Last updated on: 2016-04-20