Section:
Partnerships and Cooperations
European Initiatives
Collaborations with Major European Organizations
We have sustained collaborations with the team of Thierry Coquand at Chalmers and the University of Göteborg in Sweden
and with the team of Gilles Barthe at IMDEA in Spain.