Community Research and Development Information Service - CORDIS

What is an Algorithm? Extensional and Intensional Equivalences between Programs

From 2015-09-01 to 2017-08-31, ongoing project

Project details

Total cost:

EUR 200 194,80

EU contribution:

EUR 200 194,80

Coordinated in:

Denmark

Call for proposal:

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

Funding scheme:

MSCA-IF-EF-ST - Standard EF

Objective

Coordinator

Københavns Universitet
Denmark

EU contribution: EUR 200 194,80


Nørregade 10
1017 KØBENHAVN K
Denmark
Activity type: Higher or Secondary Education Establishments
Record Number: 195070 / Last updated on: 2016-12-15