Opendata, web and dolomites
H2020 projects about "recursion"
The page lists 3 projects related to the topic "recursion".
| # | |||
|---|---|---|---|
| 1 | CombiTop | New Interactions of Combinatorics through Topological Expansions, at the crossroads of Probability, Graph theory, and Mathematical Physics | 2017 |
| 2 | MiLC | Monotonicity in Logic and Complexity | 2017 |
| 3 | PolyBar | A new approach to polymorphism through bar recursion | 2018 |