Higher Category Theoretic Structure of Programming Semantics

Project: Research council

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