Higher Category Theoretic Structure of Programming Semantics

  • Power, John (PI)

Project: Research council

Project Details

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

Funding

  • The Royal Society

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