Project Details
Short title | Coalgebraic Probabilistic Logic over Measurable Spaces via Stone Duality. |
---|---|
Status | Finished |
Effective start/end date | 29/03/10 → 28/08/10 |
Funding
- Engineering & Physical Science Research Council
Short title | Coalgebraic Probabilistic Logic over Measurable Spaces via Stone Duality. |
---|---|
Status | Finished |
Effective start/end date | 29/03/10 → 28/08/10 |