Projekter pr. år
- 2 resultater
Søgeresultater
-
PROBABILIST: Probabilistic - Session Types and their Mechanisation
Carbone, M. (PI)
01/04/2025 → 30/10/2028
Projekter: Projekt › Forskning
-
MECHANIST: MECHANIsation of Session typEs
Carbone, M. (PI), Bengtson, J. (CoPI) & Tirore, D. (CoI)
01/09/2021 → 30/10/2025
Projekter: Projekt › Forskning