20002018
If you made any changes in Pure these will be visible here soon.

Research Output 2000 2018

Filter
Article
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

Logic programming: laxness and saturation

Komendantskaya, E. & Power, A. 19 Jul 2018 In : Journal of Logical and Algebraic Methods in Programming. 101, p. 1-21

Research output: Contribution to journalArticle

File
Logic programming
Logic Programming
Saturation
Semantics
Coalgebra
2017

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
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
2012
25 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
3 Citations
Open Access
File
Universal Algebra
Monads
Algebra
Algebraist
Clone
2011

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
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
42 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
2006
10 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
83 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
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
2004
33 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
50 Citations

Computational Effects and Operations: An Overview

Plotkin, G. & Power, J. 25 Oct 2004 In : Electronic Notes in Theoretical Computer Science. 73, p. 149-163 15 p.

Research output: Contribution to journalArticle

24 Citations

From comodels to coalgebras: state and arrays

Power, J. & Shkaravska, O. 11 Dec 2004 In : Electronic Notes in Theoretical Computer Science. 106, p. 297-314 18 p.

Research output: Contribution to journalArticle

Coalgebra
Tensors
Countable
Monads
Term
7 Citations

Modularity of behaviours for mathematical operational semantics

Kick, M. & Power, J. 11 Dec 2004 In : Electronic Notes in Theoretical Computer Science. 106, p. 185-200 16 p.

Research output: Contribution to journalArticle

Open Access
File
Operational Semantics
Modularity
Distributive law
Semantics
Monads
2 Citations

Symmetric Monoidal Sketches and Categories of Wirings

Hyland, M. & Power, J. 28 Oct 2004 In : Electronic Notes in Theoretical Computer Science. 100, p. 31-46 16 p.

Research output: Contribution to journalArticle

2003
95 Citations

Algebraic operations and generic effects

Plotkin, G. & Power, J. 2003 In : Applied Categorical Structures. 11, 1, p. 69-94 26 p.

Research output: Contribution to journalArticle

16 Citations

Dualising initial algebras. Coalgebraic methods in computer science (Genova, 2001)

Ghani, N., Lüth, C., De Marchi, F. & Power, J. 2003 In : Mathematical Structures in Computer Science. 13, 2, p. 349-370 22 p.

Research output: Contribution to journalArticle

Monads
Computer science
Algebra
Computer Science
Coalgebra
35 Citations

Modelling environments in call-by-value programming languages

Levy, P. B., Power, J. & Thielecke, H. 15 Sep 2003 In : Information and Computation. 185, 2, p. 182-210 29 p.

Research output: Contribution to journalArticle

Computer programming languages
Programming Languages
Semantics
Acoustic waves
Modeling

On the Geometric Modelling of Visual Languages

Power, J. & Tourlas, K. Feb 2003 In : Electronic Notes in Theoretical Computer Science. 72, 3, p. 1-12 12 p.

Research output: Contribution to journalArticle

Visual Languages
Visual languages
Geometric Modeling
Geometric Model
Graph Grammars

Pseudo-distributive laws

Cheng, E., Hyland, M. & Power, J. 2003 In : Electronic Notes in Theoretical Computer Science. 83

Research output: Contribution to journalArticle

5 Citations

Towards a theory of mathematical operational semantics

Power, J. Jul 2003 In : Electronic Notes in Theoretical Computer Science. 82, 1, p. 257-272 16 p.

Research output: Contribution to journalArticle

Operational Semantics
Structural Operational Semantics
Semantics
Formulation
2002
34 Citations

Combining a monad and a comonad

Power, J. & Watanabe, H. 30 May 2002 In : Theoretical Computer Science. 280, 1-2, p. 137-162 26 p.

Research output: Contribution to journalArticle

Monads
Semantics
Term
Denotational Semantics
Distributivity
1 Citations

Fixpoint operators for domain equations

Power, J. & Rosolini, G. 6 May 2002 In : Theoretical Computer Science. 278, 1-2, p. 323-333 11 p.

Research output: Contribution to journalArticle

Fixpoint
Enriched Category
Operator
Term
Algebra
9 Citations

On weak higher-dimensional categories. I. 3

Hermida, C., Makkai, M. & Power, J. 8 Jan 2002 In : Journal of Pure and Applied Algebra. 166, 1-2, p. 83-104 22 p.

Research output: Contribution to journalArticle

High-dimensional
Term
Functor
9 Citations

Premonoidal categories as categories with algebraic structure

Power, J. 6 May 2002 In : Theoretical Computer Science. 278, 1-2, p. 303-321 19 p.

Research output: Contribution to journalArticle

Algebraic Structure
Term
Closed
32 Citations

Pseudo-commutative monads and pseudo-closed 2-categories

Hyland, M. & Power, J. 8 Nov 2002 In : Journal of Pure and Applied Algebra. 175, 1-3, p. 141-185 45 p.

Research output: Contribution to journalArticle

Monads
Closed
Term
Algebra
Monoidal Category
2 Citations

Zooming-out on Higraph-based diagrams

Anderson, S., Power, J. & Tourlas, K. Jan 2002 In : Electronic Notes in Theoretical Computer Science. 61, p. 201-211 11 p.

Research output: Contribution to journalArticle

Diagram
Reasoning
Semantics
Statecharts
Category Theory
2001
18 Citations

Algebras, Coalgebras, Monads and Comonads

Ghani, N., Lüth, C., de Marchi, F. & Power, J. 2001 In : Electronic Notes in Theoretical Computer Science. 44, 1, p. 128-145 18 p.

Research output: Contribution to journalArticle

Monads
Coalgebra
Algebra
Algebraic Theory
Signature
3 Citations

An Algebraic Foundation for Graph-based Diagrams in Computing

Power, J. & Tourlas, K. 2001 In : Electronic Notes in Theoretical Computer Science. 45, p. 346-357 12 p.

Research output: Contribution to journalArticle

Ordered Categories
Diagram
Specifications
Computing
Graph in graph theory
5 Citations

Models for the computational λ-calculus

Power, J. 2001 In : Electronic Notes in Theoretical Computer Science. 40, p. 288-301 14 p.

Research output: Contribution to journalArticle

Lambda Calculus
Acoustic waves
Cartesian Closed Category
Closed
Monads