Higher Category Theoretic Structure of Programming Semantics

  • Power, John (PI)

Project: Research council

Research Output


Higher dimensional categories: recursion on extensivity

Power, A., Cottrell, T. & Fujii, S., 2018, (Acceptance date).

Research output: Contribution to conferencePaper


Enriched and internal categories: an extensive relationship

Power, A., Cottrell, T. & Fujii, S., 1 Jun 2017, In : Tbilisi Mathematical Journal. 10, 3, p. 239-254 16 p.

Research output: Contribution to journalArticle

Open Access