Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/10/98 → 31/03/02 |
Funding
- EPSRC: £52,563.00
Categorical logic and structure in denotational semantics
- Simpson, Alexander (Principal Investigator)
| Status | Finished |
|---|---|
| Effective start/end date | 1/10/98 → 31/03/02 |