H2020 projects about "homotopical"
The page lists 3 projects related to the topic "homotopical".
# |
achronym |
title |
year |
1 |
CoqHoTT |
Coq for Homotopy Type Theory |
2015 |
2 |
DefAlgS |
Deformation theory of algebraic structures |
2016 |
3 |
StringHom |
String topology and group (co)homology |
2018 |