Project Details
Short title | Higher Categories for Compositional Computer Science - Enhancement Award |
---|---|
Status | Finished |
Effective start/end date | 1/01/18 → 31/03/20 |
Short title | Higher Categories for Compositional Computer Science - Enhancement Award |
---|---|
Status | Finished |
Effective start/end date | 1/01/18 → 31/03/20 |