Projektdetaljer
Beskrivelse
is it possible to develop a theory of probabilistic session types and mechanise it in the Coq proof assistant?
Akronym | PROBABILIST |
---|---|
Status | Ikke startet |
Effektiv start/slut dato | 01/04/2025 → 30/10/2028 |
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.