H2020 projects about "infinitary"
The page lists 2 projects related to the topic "infinitary".
| # |
achronym |
title |
year |
| 1 |
InfTy |
Infinitary Rewriting for Type Systems |
2016 |
| 2 |
CHROMPART |
Partition calculus on graphs, digraphs and hypergraphs with uncountable chromatic number |
2020 |
