20002018
If you made any changes in Pure these will be visible here soon.

Research Output 2000 2018

Filter
Paper
2018

Higher dimensional categories: recursion on extensivity

Power, A., Cottrell, T. & Fujii, S. 2018 (Accepted/In press)

Research output: Contribution to conferencePaper

Recursion
High-dimensional
Semantics
Computer programming
n-dimensional
2017

Category Theoretic Semantics for Logic Programming: Laxness and Saturation

Power, A. 2017

Research output: Contribution to conferencePaper

Open Access
File
2006

Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science (CMCS 2006)

Ghani, N. & Power, J. 2006 p. front matter+194 pp. (electronic)

Research output: Contribution to conferencePaper