Opendata, web and dolomites
H2020 projects about "intensional"
The page lists 2 projects related to the topic "intensional".
| # | |||
|---|---|---|---|
| 1 | HORIP | Higher-Order Rewriting for Intensional Properties of Programs and Circuits | 2015 |
| 2 | FOREMOTIONS | Formal Frameworks for Modal Notions Conceived as Predicates | 2016 |