Higher Category Theoretic Structure of Programming Semantics

  • Power, John (PI)

Project: Research council

Research Output

2018

Higher dimensional categories: recursion on extensivity

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

Research output: Contribution to conference › Paper

2017

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 journal › Article

Open Access