Opendata, web and dolomites
H2020 projects about "typeability"
The page lists 1 projects related to the topic "typeability".
| # | |||
|---|---|---|---|
| 1 | PACT | Proof-theoretical Approaches to Concurrency Theory | 2016 |
The page lists 1 projects related to the topic "typeability".
| # | |||
|---|---|---|---|
| 1 | PACT | Proof-theoretical Approaches to Concurrency Theory | 2016 |