Projects per year

## Personal profile

### Research interests

Category theory, primarily in the setting of computer science.

### Education / Academic qualification

Mathematics, Doctor of Philosophy, McGill University

### Keywords

- category theory

## Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

- 1 Similar Profiles

Semantics
Engineering & Materials Science

Algebra
Engineering & Materials Science

Tensors
Engineering & Materials Science

Coalgebra
Mathematics

Logic programs
Mathematics

Logic programming
Mathematics

Term
Mathematics

Computer programming languages
Engineering & Materials Science

##
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.

## Projects 2008 2018

### Higher Category Theoretic Structure of Programming Semantics

11/11/16 → 11/11/18

Project: Research council

### Commutativity, Pseudo-Commutativity and the Tensor Product of Theories

1/07/16 → 1/08/16

Project: Research council

### Games and Differential Nets for Concurrent Systems

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

1/08/15 → 30/11/17

Project: Research council

## Research Output 2000 2018

### An enriched view on the extended finitary monad-Lawvere theory correspondence

Power, A. & Garner, R. 1 Jan 2018 In : Logical Methods in Computer Science. p. 1--23 14 p.Research output: Contribution to journal › Article

### Category Theoretic Semantics for Logic Programming: Laxness and Saturation

Power, A. 2017Research output: Contribution to conference › Paper

Logic programming

### Enriched and internal categories: an extensive relationship

Power, A., Cottrell, T. & Fujii, S. 2017 In : Tbilisi Mathematical Journal. 10, 3, p. 239-254 16 p.Research output: Contribution to journal › Article

Bicategory

Internal

Cartesian

Iterate

### Category theoretic semantics for theorem proving in logic programming: embracing the laxness

Komendantskaya, E. & Power, J. 4 Jun 2016*Proceedings of Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers.*Hasuo, I. (ed.). Springer, p. 94-113 (Lecture Notes in Computer Science)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Logic programs

Coalgebra

Logic programming

Theorem proving

Propositional logic

2
Citations

### Coalgebraic logic programming: from semantics to implementation

Komendantskaya, E., Power, J. & Schmidt, M. Apr 2016 In : Journal of Logic and Computation. 26, 2, p. 745 - 783 39 p.Research output: Contribution to journal › Article

Parallelism

Logic programming

Semantics

Recursion

Proceedings