Projects 2008 2018

Active

Collaboration with Ekaterina Comendantskaya

Power, A.

1/08/1731/07/18

Project: UK charity

Higher Category Theoretic Structure of Programming Semantics

Power, A.

11/11/1611/11/18

Project: Research council

Finished

Binders and algebra: a bicategorical relationship

Power, A.

28/01/183/02/18

Project: UK charity

Coalgebraic Logic Programming for Type Inference

Power, A.

1/09/1331/01/17

Project: Research council

Universal Algebra and Its Dual

Power, A.

1/01/1330/06/14

Project: Research council

Sharing and Sequentiality in Proof Systems with Locality

Guglielmi, A., Bruscoli, P., Laird, J., McCusker, G. & Power, A.

29/03/1230/06/14

Project: Research council

Denotational Semantics for Evaluation Behaviour of Programs

McCusker, G., Laird, J. & Power, A.

31/03/0830/03/10

Project: Central government, health and local authorities