Opendata, web and dolomites

H2020 projects about "equivalences"

The page lists 4 projects related to the topic "equivalences".

# achronym  title  year 
1 Walgo What is an Algorithm? Extensional and Intensional Equivalences between Programs 2015
2 MACOLAB Towards a mathematical conjecture for the Landau-Ginzburg/conformal field theory correspondence and beyond 2017
3 FUSION The effects of financial capital accumulation on employment and wealth distribution 2017
4 COMBGEOREP Combinatorial and geometric methods in representation theory 2019