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.

  • 3 Similar Profiles
Semantics Engineering & Materials Science
Algebra Engineering & Materials Science
Monads Mathematics
Tensors Engineering & Materials Science
Logic programs Mathematics
Coalgebra Mathematics
Term Mathematics
Logic programming Mathematics

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

Projects 2008 2018

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 journalArticle

File
Monads
Correspondence
Enriched category
Bicategory
Colimit

Category Theoretic Semantics for Logic Programming: Laxness and Saturation

Power, A. 2017

Research output: Contribution to conferencePaper

Open Access
File

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 journalArticle

Open Access
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 proceedingConference contribution

Open Access
File
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 journalArticle

Open Access
File
Semantics
Logic programming
Logic programs
Parallelism
Coalgebra