Project Details
| Short title | Denotational Semantics of Nondetermination |
|---|---|
| Status | Finished |
| Effective start/end date | 1/07/04 → 30/06/06 |
Funding
- The Nuffield Foundation
Denotational Semantics of Nondetermination
- Levy, Paul (Principal Investigator)
| Short title | Denotational Semantics of Nondetermination |
|---|---|
| Status | Finished |
| Effective start/end date | 1/07/04 → 30/06/06 |