Project Details
Description
is it possible to develop a theory of probabilistic session types and mechanise it in the Coq proof assistant?
| Acronym | PROBABILIST |
|---|---|
| Status | Active |
| Effective start/end date | 01/04/2025 → 30/10/2028 |
Funding
- Independent Research Fund Denmark: DKK2,922,119.00
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.