Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/04/05 → 30/04/07 |
Funding
- Other (Learned Society): £6,420.00
Joint project with Ireland: Categorical semantics for natural models of computation
- Power, Anthony (Principal Investigator)
| Status | Finished |
|---|---|
| Effective start/end date | 1/04/05 → 30/04/07 |