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

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

Category Theoretic Semantics for Logic Programming: Laxness and Saturation

Power, A. 2017

Research output: Contribution to conferencePaper

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 journalArticle

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

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

Parallelism
Logic programming
Semantics
Recursion
Proceedings