|
| Name: |
Professor A Kurz |
| Organisation: |
University of Leicester |
| Department: |
Computer Science |
| Current EPSRC-Supported Research
Topics: |
|
| Current EPSRC Support |
| There is no current EPSRC Support |
| Previous EPSRC Support |
| EP/H04714X/1 | Coalgebraic Probabilistic Logic over Measurable Spaces via Stone Duality | (P) |
| EP/G041296/1 | Coalgebraic Logic: Expanding the Scope | (P) |
| EP/F016662/1 | International Workshop: Coalgebraic Logic | (C) |
| EP/E029329/1 | Relational Semantics for Substructural and Other Logics | (C) |
| EP/C014014/1 | Coalgebras, Modal Logic, Stone Duality | (P) |
|
|
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator
|
| |
|
|
|
|