Probabilistic - Session Types and their Mechanisation
Project:
Research
Project status
Active
Description
is it possible to develop a theory of probabilistic session types and mechanise it in the Coq proof assistant?
Project Information
Project Type
Research
Acronym
PROBABILISTTime Period
01/04/2025 – 30/10/2028Status
ActiveID
Funder Project Reference: 4283-00354B
Funding Details
Probabilistic - Session Types and their MechanisationAward
FundersAmounts
Independent Research Fund Denmark
2922119 DKK