John Power

According to our database, John Power authored at least 112 papers between 1989 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Benchmarking collective effects of electron interactions in a wiggler with OPAL-FEL.

Arnau Albà, Jimin Seok, Andreas Adelmann, Scott Doran, Gwanghui Ha, Soonhong Lee, Yinghu Piao, John Power, Maofei Qian, Eric Wisniewski, Joseph Xu, Alexander Zholents

Comput. Phys. Commun., 2022

2018

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

Richard Garner, John Power

Log. Methods Comput. Sci., 2018

Logic programming: Laxness and saturation.

Ekaterina Komendantskaya, John Power

J. Log. Algebraic Methods Program., 2018

Higher Dimensional Categories: Induction on Extensivity.

Thomas Cottrell, Soichiro Fujii, John Power

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

2016

Coalgebraic logic programming: from Semantics to Implementation.

Ekaterina Komendantskaya, John Power, Martin Schmidt

J. Log. Comput., 2016

Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness.

Ekaterina Komendantskaya, John Power

Proceedings of the Coalgebraic Methods in Computer Science, 2016

2014

Category theoretic structure of setoids.

Yoshiki Kinoshita, John Power

Theor. Comput. Sci., 2014

2013

Preface.

John Power, Cai Wingfield

Proceedings of the Workshop on Algebra, Coalgebra and Topology, 2013

2012

A Graphical Foundation for Schedules.

Guy McCusker, John Power, Cai Wingfield

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What?

Mike Behrisch, Sebastian Kerkhoff, John Power

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

2011

Unicity of Enrichment over Cat or Gpd.

John Power

Appl. Categorical Struct., 2011

Coalgebraic Derivations in Logic Programming.

Ekaterina Komendantskaya, John Power

Proceedings of the Computer Science Logic, 2011

Coalgebraic Semantics for Derivations in Logic Programming.

Ekaterina Komendantskaya, John Power

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Space-Based FPGA Radio Receiver Design, Debug, and Development of a Radiation-Tolerant Computing System.

Zachary K. Baker, Mark E. Dunham, Keith Morgan, Michael Pigue, Matthew Stettler, Paul S. Graham, Eric N. Schmierer, John Power

Int. J. Reconfigurable Comput., 2010

Modelling Local Variables: Possible Worlds and Object Spaces.

Guy McCusker, John Power

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming.

Ekaterina Komendantskaya, Guy McCusker, John Power

Proceedings of the Algebraic Methodology and Software Technology, 2010

2009

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

Stephen Lack, John Power

J. Funct. Program., 2009

High Efficiency Space-Based Software Radio Architectures: A Minimum Size, Weight, and Power TeraOps Processor.

Mark E. Dunham, Zachary K. Baker, Matthew Stettler, Michael Pigue, Paul S. Graham, Eric N. Schmierer, John Power

Proceedings of the ReConFig'09: 2009 International Conference on Reconfigurable Computing and FPGAs, 2009

2008

Category Theoretic Semantics for Typed Binding Signatures with Recursion.

John Power, Miki Tanaka

Fundam. Informaticae, 2008

Tensors of Comodels and Models for Operational Semantics.

Gordon D. Plotkin, John Power

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

Level design optimization guidelines for game artists using the epic games: Unreal editor and unreal engine 2.

Christian Rubino, John Power

Comput. Entertain., 2008

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

Ekaterina Komendantskaya, John Power

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

2007

Combining algebraic effects with continuations.

Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power

Theor. Comput. Sci., 2007

Abstract Syntax: Substitution and Binders: Invited Address.

John Power

Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007

The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads.

Martin Hyland, John Power

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

2006

Generic models for computational effects.

John Power

Theor. Comput. Sci., 2006

Combining effects: Sum and tensor.

Martin Hyland, Gordon D. Plotkin, John Power

Theor. Comput. Sci., 2006

Discrete Lawvere theories and computational effects.

Martin Hyland, John Power

Theor. Comput. Sci., 2006

A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics.

Miki Tanaka, John Power

J. Log. Comput., 2006

Pseudo-distributive laws and axiomatics for variable binding.

Miki Tanaka, John Power

High. Order Symb. Comput., 2006

Coalgebraic semantics for timed processes.

Marco Kick, John Power, Alex Simpson

Inf. Comput., 2006

Axiomatics for Data Refinement in Call by Value Programming Languages.

John Power, Miki Tanaka

Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2006

Semantics for Local Computational Effects.

John Power

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

Category Theoretic Models of Data Refinement.

Michael Johnson, David A. Naumann, John Power

Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2006

Preface.

Neil Ghani, John Power

Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006

The Universal Algebra of Computational Effects: Lawvere Theories and Monads.

John Power

Proceedings of the Workshop on Mathematically Structured Functional Programming, 2006

2005

Hiproofs: A Hierarchical Notion of Proof Tree.

Ewen Denney, John Power, Konstantinos Tourlas

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

Binding Signatures for Generic Contexts.

John Power, Miki Tanaka

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

A unified category-theoretic formulation of typed binding signatures.

Miki Tanaka, John Power

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2005

Discrete Lawvere Theories.

John Power

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004

Category theory for operational semantics.

Marina Lenisa, John Power, Hiroshi Watanabe

Theor. Comput. Sci., 2004

From Comodels to Coalgebras: State and Arrays.

A. John Power, Olha Shkaravska

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

Countable Lawvere Theories and Computational Effects.

John Power

Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2004

Modularity of Behaviours for Mathematical Operational Semantics.

Marco Kick, A. John Power

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda.

Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini

Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2004

Canonical Models for Computational Effects.

John Power

Proceedings of the Foundations of Software Science and Computation Structures, 2004

2003

Dualising Initial Algebras.

Neil Ghani, Christoph Lüth, Federico De Marchi, John Power

Math. Struct. Comput. Sci., 2003

Modelling environments in call-by-value programming languages.

Paul Blain Levy, John Power, Hayo Thielecke

Inf. Comput., 2003

Towards a theory of mathematical operational semantics.

John Power

Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

Symmetric Monoidal Sketches and Categories of Wirings.

Martin Hyland, John Power

Proceedings of the Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, 2003

Algebraic Operations and Generic Effects.

Gordon D. Plotkin, John Power

Appl. Categorical Struct., 2003

A Universal Embedding for the Higher Order Structure of Computational Effects.

John Power

Proceedings of the Typed Lambda Calculi and Applications, 6th International Conference, 2003

Pseudo-distributive Laws.

Eugenia Cheng, Martin Hyland, John Power

Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, 2003

Logic for Computational Effects: Work in Progress.

Gordon D. Plotkin, John Power

Proceedings of the 6th International Workshop on Formal Methods, 2003

A unified category theoretic approach to variable binding.

John Power

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

Abstraction in Reasoning about Higraph-Based Systems.

John Power, Konstantinos Tourlas

Proceedings of the Foundations of Software Science and Computational Structures, 2003

2002

Combining a monad and a comonad.

John Power, Hiroshi Watanabe

Theor. Comput. Sci., 2002

Fixpoint operators for domain equations.

John Power, Giuseppe Rosolini

Theor. Comput. Sci., 2002

Premonoidal categories as categories with algebraic structure.

John Power

Theor. Comput. Sci., 2002

On the Geometric Modelling of Visual Languages.

John Power, Konstantinos Tourlas

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002

Computational Effects and Operations: An Overview.

Gordon D. Plotkin, A. John Power

Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002, 2002

Zooming-out on Higraph-based diagrams - Syntactic and Semantic Issues.

Stuart Anderson, John Power, Konstantinos Tourlas

Proceedings of the Computing: the Australasian Theory Symposium, 2002

Interferometric synthetic aperture radar studies of Alaska volcanoes.

Zhong Lu, Charles Wicks Jr., John Power, Daniel Dzurisin, Wayne Thatcher, Timothy Masterlark

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2002

Combining Computational Effects: commutativity & sum.

Martin Hyland, Gordon D. Plotkin, John Power

Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

Notions of Computation Determine Monads.

Gordon D. Plotkin, John Power

Proceedings of the Foundations of Software Science and Computation Structures, 2002

2001

On the structure of categories of coalgebras.

Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell

Theor. Comput. Sci., 2001

An Algebraic Foundation for Graph-based Diagrams in Computing.

John Power, Konstantinos Tourlas

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

Semantics for Algebraic Operations.

Gordon D. Plotkin, John Power

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

Two-dimensional linear algebra.

Martin Hyland, John Power

Proceedings of the Coalgebraic Methods in Computer Science, 2001

Pseudo-commutative Monads.

Martin Hyland, John Power

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

Algebras, Coalgebras, Monads and Comonads.

Neil Ghani, Christoph Lüth, Federico De Marchi, John Power

Proceedings of the Coalgebraic Methods in Computer Science, 2001

Reasoning in Higraphs with Loose Edges.

Stuart Anderson, John Power, Konstantinos Tourlas

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

Adequacy for Algebraic Effects.

Gordon D. Plotkin, John Power

Proceedings of the Foundations of Software Science and Computation Structures, 2001

An Algebraic Foundation for Higraphs.

John Power, Konstantinos Tourlas

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

2000

Models for the computational lambda-calculus.

John Power

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads.

Marina Lenisa, John Power, Hiroshi Watanabe

Proceedings of the Coalgebraic Methods in Computer Science, 2000

Data Refinement and Algebraic Structure.

Yoshiki Kinoshita, John Power

Acta Informatica, 2000

Logical relations, data abstraction, and structured fibrations.

John Power, Edmund Robinson

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

Symmetric monoidal sketches.

Martin Hyland, John Power

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

Lax Logical Relations.

Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

Logical Relations and Data Abstraction.

John Power, Edmund Robinson

Proceedings of the Computer Science Logic, 2000

1999

A Coalgebraic Foundation for Linear Time Semantics.

John Power, Daniele Turi

Proceedings of the Conference on Category Theory and Computer Science, 1999

Syntactic Control of Interference Revisited.

Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent

Theor. Comput. Sci., 1999

Bireflectivity.

Peter J. Freyd, Peter W. O'Hearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent

Theor. Comput. Sci., 1999

Distributivity for a monad and a comonad.

John Power, Hiroshi Watanabe

Proceedings of the Coalgebraic Methods in Computer Science, 1999

Modularity and Dyads.

John Power, Edmund Robinson

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

A General Completeness Result in Refinement.

Yoshiki Kinoshita, John Power

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Closed Freyd- and kappa-categories.

John Power, Hayo Thielecke

Proceedings of the Automata, 1999

Data-Refinement for Call-By-Value Programming Languages.

Yoshiki Kinoshita, John Power

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1998

An axiomatics for categories of coalgebras.

John Power, Hiroshi Watanabe

Proceedings of the First Workshop on Coalgebraic Methods in Computer Science, 1998

An Axiomatics for Categories of Transition Systems as Coalgebras.

Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

Higher Dimensional Multigraphs.

Claudio Hermida, Michael Makkai, John Power

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

A Modular Approach to Denotational Semantics.

John Power, Giuseppe Rosolini

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

A Categorical Axiomatics for Bisimulation.

Gian Luca Cattani, John Power, Glynn Winskel

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

A Representable Approach to Finite Nondeterminism.

Stuart Oliver Anderson, John Power

Theor. Comput. Sci., 1997

Premonoidal Categories and Notions of Computation.

John Power, Edmund Robinson

Math. Struct. Comput. Sci., 1997

Modularity in denotational semantics.

John Power

Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday.

Yoshiki Kinoshita, John Power, Makoto Takeyama

Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

Environments, Continuation Semantics and Indexed Categories.

John Power, Hayo Thielecke

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement.

Yoshiki Kinoshita, Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

Complete Cuboidal Sets in Axiomatic Domain Theory.

Marcelo P. Fiore, Gordon D. Plotkin, A. John Power

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

Categories with Algebraic Structure.

A. John Power

Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1996

A Fibrational Semantics for Logic Programs.

Yoshiki Kinoshita, A. John Power

Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

Elementary Control Structures.

John Power

Proceedings of the CONCUR '96, 1996

1995

Why Tricategories?

A. John Power

Inf. Comput., August, 1995

Bireflectivity.

Peter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

Control Structures

Alex Mifsud, Robin Milner, A. John Power

Proceedings of the Proceedings, 1995

Fibrational Control Structures.

Claudio Hermida, John Power

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1992

A Formalism for the Specification of Essentially Algebraic Structures in 2-Categories.

A. John Power, Charles Wells

Math. Struct. Comput. Sci., 1992

1990

A Notion of Map between Logic Programs.

A. John Power, Leon Sterling

Proceedings of the Logic Programming, 1990

1989

An Algebraic Formulation for Data Refinement.

A. John Power

Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989

An Abstract Formulation for Rewrite Systems.

A. John Power

Proceedings of the Category Theory and Computer Science, 1989