Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 29/03/12 → 30/06/14 |
Funding
- The Royal Society
Sharing and Sequentiality in Proof Systems with Locality
- Guglielmi, Alessio (PI)
- Bruscoli, Paola (CoI)
- Laird, James (CoI)
- McCusker, Guy (CoI)
- Power, John (CoI)
Project: Research council