Higher dimensional categories: recursion on extensivity

Anthony Power, Thomas Cottrell, Soichiro Fujii

Research output: Contribution to conferencePaper

Projects

Finished

Higher Category Theoretic Structure of Programming Semantics

Power, J.

The Royal Society

11/11/1611/11/18

Project: Research council