Higher Category Theoretic Structure of Programming Semantics

  • Power, John, (PI)

Project: Research council

StatusFinished
Effective start/end date11/11/1611/11/18

Funding

  • The Royal Society