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