Research Output 2000 2018

2018

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

Power, A. & Garner, R. 1 Jan 2018 (Accepted/In press) In : Logical Methods in Computer Science. p. 1--23 14 p.

Research output: Contribution to journalArticle

File
Monads
Correspondence
Enriched Category
Bicategory
Colimit

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

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
Internal
Bicategory
Relationships
Cartesian
Iterate
2016

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
Theorem Proving
Logic Programming
Logic Programs
Coalgebra
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
Logic programming
Logic Programming
Semantics
Logic Programs
Parallelism
2015

A graphical foundation for interleaving in game semantics

McCusker, G., Power, J. & Wingfield, C. 1 Apr 2015 In : Journal of Pure and Applied Algebra. 219, 4, p. 1131-1174 44 p.

Research output: Contribution to journalArticle

Open Access
File
Game Semantics
Interleaving
Schedule
Multimap (map)
Game
2014
2 Citations

Category theoretic structure of setoids

Kinoshita, Y. & Power, J. Aug 2014 In : Theoretical Computer Science. 546, p. 145-163

Research output: Contribution to journalArticle

File
Equalizers
Enriched Category
Equivalence relation
Cartesian Closed Category
Coproducts

Preface

Power, J. & Wingfield, C. 28 Mar 2014 In : Electronic Notes in Theoretical Computer Science. 303, p. 1-2 2 p.

Research output: Contribution to journalArticle

Open Access
File
2013

Graphical Foundations for Dialogue Games

Wingfield, C. Oct 2013 (Unpublished) 197 p.

Research output: ThesisDoctoral Thesis

File
Schedule
Game
Heap
Game Semantics
Interleaving
2012
24 Citations

A graphical foundation for schedules

McCusker, G., Power, J. & Wingfield, C. 24 Sep 2012 In : Electronic Notes in Theoretical Computer Science. 286, p. 273-289 16 p.

Research output: Contribution to journalArticle

Open Access
File
Schedule
Chemical analysis
Semantics
Game Semantics
Associativity
2 Citations
Open Access
File
Universal Algebra
Monads
Algebra
Algebraist
Clone
2011
9 Citations

Coalgebraic Derivations in Logic Programming

Komendantskaya, E. & Power, J. Sep 2011 Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL. Bezem, M. (ed.). Dagstuhl, Germany: Leibniz International Proceedings in Informatics, p. 352-366 15 p. (Leibniz International Proceedings in Informatics (LIPIcs))

Research output: Chapter in Book/Report/Conference proceedingChapter

File
Logic Programming
Soundness
Completeness
Coalgebra
Correctness
10 Citations

Coalgebraic semantics for derivations in logic programming

Komendantskaya, E. & Power, J. 2011 Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchetser, UK, August 30 - September 2, 2011. Proceedings. Corradini, A., Kin, B. & Cirstea, C. (eds.). Heidelberg: Springer, p. 268-282 15 p. (Lecture Notes in Computer Science; vol. 6859)

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Coalgebra
Logic Programming
Logic Programs
Ordered Categories
Semantics
7 Citations

Coalgebraic semantics for parallel derivation strategies in logic programming

Komendantskaya, E., McCusker, G. & Power, J. 2011 Algebraic Methodology and Software Technology. Johnson, M. & Pavlovic, D. (eds.). Springer, Vol. 6486, p. 111-127 17 p. (Lecture Notes in Computer Science)

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Logic programming
Semantics
Computer programming languages
Functional programming

Indexed Lawvere theories for local state

Power, J. 2011 Models, Logics and Higher-Dimensional Categories: A Tribute to the Work of Mihály Makkai. Hart, B., Kucera, T. G., Pillay, A., Scott, P. J. & Seely, R. A. G. (eds.). Rhode Island: American Mathematical Society, p. 213-229 18 p. (CRM Proceedings & Lecture Notes; vol. 53)

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File

Unicity of Enrichment over Cat or Gpd

Power, J. Feb 2011 In : Applied Categorical Structures. 19, 1, p. 293-299 7 p.

Research output: Contribution to journalArticle

File
Monads
Tensors
Functor
Tensor
Theorem
2010

Modelling local variables: possible worlds and object spaces

McCusker, G. A. & Power, J. 6 Sep 2010 In : Electronic Notes in Theoretical Computer Science. 265, p. 389-402 14 p.

Research output: Contribution to journalArticle

File
Functor
Modeling
Model Category
Semantics
Cartesian
2009

Axiomatics for Data Refinement in Call by Value Programming Languages

Power, J. & Tanaka, M. 2 Jan 2009 In : Electronic Notes in Theoretical Computer Science. 225, p. 281-302 22 p.

Research output: Contribution to journalArticle

Open Access
File
Computer programming languages
Programming Languages
Data structures
Refinement
Lambda Calculus
3 Citations

Category Theoretic Models of Data Refinement

Johnson, M., Naumann, D. & Power, J. 2 Jan 2009 In : Electronic Notes in Theoretical Computer Science. 225, p. 21-38 18 p.

Research output: Contribution to journalArticle

Open Access
File
Data structures
Refinement
Category Theory
Data Modeling
Model
2 Citations

Gabriel-Ulmer duality and Lawvere theories enriched over a general base

Lack, S. & Power, J. Jul 2009 In : Journal of Functional Programming. 19, 3-4, p. 265-286 22 p.

Research output: Contribution to journalArticle

Open Access
File
Semantics
7 Citations

Lawvere theories enriched over a general base

Nishizawa, K. & Power, J. Mar 2009 In : Journal of Pure and Applied Algebra. 213, 3, p. 377-386 10 p.

Research output: Contribution to journalArticle

Open Access
File
2008
1 Citations

Category Theoretic Semantics for Typed Binding Signatures with Recursion

Power, J. & Tanaka, M. 2008 In : Fundamenta Informaticae. 84, 2, p. 221-240 20 p.

Research output: Contribution to journalArticle

Open Access
File
Recursion
Algebra
Binders
Substitution reactions
Monads
4 Citations

Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness

Komendantskaya, E. & Power, J. 2008 Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings. Heidelberg: Springer, Vol. 5293, p. 258-271 14 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Many valued logics
Semantics
Logic programming

Logic Programs as Coalgebras

McCusker, G. & Power, J. 2008 Proc. CMCS Short Contributions 2008.

Research output: Chapter in Book/Report/Conference proceedingChapter

12 Citations

Tensors of comodels and models for operational semantics

Plotkin, G. & Power, J. 22 Oct 2008 In : Electronic Notes in Theoretical Computer Science. 218, p. 295-311 17 p.

Research output: Contribution to journalArticle

Open Access
File
Operational Semantics
Tensors
Tensor
Semantics
Countable
2007
3 Citations

Abstract Syntax: Substitution and Binders

Power, J. 2 Apr 2007 In : Electronic Notes in Theoretical Computer Science. 173, p. 3-16 14 p.

Research output: Contribution to journalArticle

Open Access
File
Binders
Substitution
Substitution reactions
Monads
Cartesian
24 Citations

Combining algebraic effects with continuations

Hyland, M., Levy, P. B., Plotkin, G. & Power, A. 1 May 2007 In : Theoretical Computer Science. 375, 1-3, p. 20-40 21 p.

Research output: Contribution to journalArticle

Open Access
File
Continuation
Tensors
Monads
Tensor
Nondeterminism
40 Citations

The category theoretic understanding of universal algebra: Lawvere theories and monads

Hyland, M. & Power, J. 1 Apr 2007 In : Electronic Notes in Theoretical Computer Science. 172, p. 437-458 22 p.

Research output: Contribution to journalArticle

Universal Algebra
Monads
Algebra
Computer science
Computer Science

Three dimensional monad theory

Power, J. 2007 Categories in algebra, geometry and mathematical physics. Providence, RI: Amer. Math. Soc., Vol. 431, p. 405-426 22 p. (Contemp. Math.)

Research output: Chapter in Book/Report/Conference proceedingChapter

2006
9 Citations

A Category Theoretic Formulation for Engeler-style Models of the Untyped λ-Calculus

Hyland, M., Nagayama, M., Power, J. & Rosolini, G. 31 Aug 2006 In : Electronic Notes in Theoretical Computer Science. 161, p. 43-57 15 p.

Research output: Contribution to journalArticle

Monads
Lambda Calculus
Formulation
Monoids
Distributive law
7 Citations

A unified category-theoretic semantics for binding signatures in substructural logics

Tanaka, M. & Power, J. 2006 In : Journal of Logic and Computation. 16, 1, p. 5-25 21 p.

Research output: Contribution to journalArticle

8 Citations

Coalgebraic semantics for timed processes

Kick, M., Power, J. & Simpson, A. 4 Apr 2006 In : Information and Computation. 204, 4, p. 588-609 22 p.

Research output: Contribution to journalArticle

Semantics
Distributive law
Monoid
Time Domain
Coalgebra
81 Citations

Combining effects: sum and tensor

Hyland, M., Plotkin, G. & Power, J. Jul 2006 In : Theoretical Computer Science. 357, 1-3, p. 70-99 30 p.

Research output: Contribution to journalArticle

8 Citations

Countable Lawvere Theories and Computational Effects

Power, J. 31 Aug 2006 In : Electronic Notes in Theoretical Computer Science. 161, p. 59-71 13 p.

Research output: Contribution to journalArticle

Tensors
Countable
Monads
Term
Computer science
17 Citations

Discrete Lawvere theories and computational effects

Hyland, M. & Power, J. 2006 In : Theoretical Computer Science. 366, 1-2, p. 144-162 19 p.

Research output: Contribution to journalArticle

12 Citations

Generic models for computational effects

Power, J. 2006 In : Theoretical Computer Science. 364, 2, p. 254-269 16 p.

Research output: Contribution to journalArticle

16 Citations

Hiproofs: A Hierarchical Notion of Proof Tree

Denney, E., Power, J. & Tourlas, K. 12 May 2006 In : Electronic Notes in Theoretical Computer Science. 155, p. 341-359 19 p.

Research output: Contribution to journalArticle

Theorem proving
Theorem Proving
Vertex of a graph
Partial Order
Rectangle

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

9 Citations

Pseudo-distributive laws and axiomatics for variable binding

Power, A. J. & Tanaka, M. 2006 In : Higher-Order and Symbolic Computation. 19, 2/3, p. 305-337 33 p.

Research output: Contribution to journalArticle

11 Citations

Semantics for Local Computational Effects

Power, J. 5 May 2006 In : Electronic Notes in Theoretical Computer Science. 158, p. 355-371 17 p.

Research output: Contribution to journalArticle

Semantics
Term
Monads
Universality
Countable
2005
9 Citations

A unified category-theoretic formulation of typed binding signatures

Tanaka, M. & Power, J. 2005 MERLIN '05 Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding. New York: Association for Computing Machinery, p. 13-24 12 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Signature
Formulation
Monads
Monoidal Category
Generalise
4 Citations

Binding signatures for generic contexts

Power, J. & Tanaka, M. 2005 Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings. Berlin: Springer, Vol. 3461, p. 308-323 16 p. (Lecture Notes in Comput. Sci.)

Research output: Chapter in Book/Report/Conference proceedingChapter

Presheaves
Signature
Cartesian
Lambda Calculus
Term
6 Citations

Discrete Lawvere theories

Power, J. 2005 Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings. Berlin: Springer, Vol. 3629, p. 348-363 16 p. (Lecture Notes in Comput. Sci.)

Research output: Chapter in Book/Report/Conference proceedingChapter

Countable
Monads
Tensor
Closed
Continuation

Hierarchical Proof Structures

Denney, E. W., Tourlas, K. & Power, J. 2005 Structures and Deduction – the Quest for the Essence of Proofs (satellite workshop of ICALP 2005). Dresden: Technische Universität Dresden, p. 144-157 14 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2004

A unified category-theoretic approach to substitution in substructural logics

Tanaka, M. & Power, J. 2004 Proc. Workshop on Logics for Resources, Processes, and Programs.

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations

Canonical models for computational effects

Power, J. 2004 Foundations of Software Science and Computation Structures 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proce. Berlin: Springer, Vol. 2987, p. 438-452 15 p. (Lecture Notes in Comput. Sci.)

Research output: Chapter in Book/Report/Conference proceedingChapter

Canonical Model
Lambda Calculus
Exception
Signature
Nondeterminism
32 Citations

Category theory for operational semantics

Lenisa, M., Power, J. & Watanabe, H. 25 Oct 2004 In : Theoretical Computer Science. 327, 1-2, p. 135-154 20 p.

Research output: Contribution to journalArticle

Category Theory
Operational Semantics
Semantics
Distributive law
Term

Combining continuations with other effects

Hyland, M., Levy, P., Plotkin, G. D. & Power, J. 2004 Proceedings of the Fourth ACM SIGPLAN Continuations Workshop CW'04, Birmingham Technical Report CSR-04-1.

Research output: Chapter in Book/Report/Conference proceedingChapter