Programming Logic and Semantics

Websitehttps://pls.itu.dk/

Postal addressShow on map
Rued Langgaards Vej 7, 4C corridor, RLV
2300 Copenhagen
Denmark

1 Not started
5 Active
24 Finished

1 results
- Relevance

Filter

PROBABILIST: Probabilistic - Session Types and their Mechanisation
Carbone, M. (PI)
01/04/2025 → 30/10/2028
Project: Research