Projects per year
- 1 results
Search results
-
PROBABILIST: Probabilistic - Session Types and their Mechanisation
Carbone, M. (PI)
01/04/2025 → 30/10/2028
Project: Research
Rued Langgaardsvej 7
Carbone, M. (PI)
01/04/2025 → 30/10/2028
Project: Research