Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/10/18 → 31/03/21 |
Funding
- Other (Learned Society): £226,381.00
Effectful theories of programming languages: axiomatics
- Kammar, Ohad (Principal Investigator)
| Status | Finished |
|---|---|
| Effective start/end date | 1/10/18 → 31/03/21 |