Projektdetaljer
Beskrivelse
is it possible to develop a theory of probabilistic session types and mechanise it in the Coq proof assistant?
| Akronym | PROBABILIST |
|---|---|
| Status | Igangværende |
| Effektiv start/slut dato | 01/04/2025 → 30/10/2028 |
Finansiering
- Danmarks Frie Forskningsfond: 2.922.119,00 kr.
Fingerprint
Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt fingerprint.