Opendata, web and dolomites
H2020 projects about "equivalences"
The page lists 4 projects related to the topic "equivalences".
| # | |||
|---|---|---|---|
| 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 |