Person:1584037

Available identifiers

zbMath Open power.johnWikidataQ102191066 ScholiaQ102191066MaRDI QIDQ1584037

List of research outcomes

Publication	Date of Publication	Type
Elementary control structures	2023-06-28	Paper
An algebraic formulation for data refinement	2023-04-12	Paper
An abstract formulation for rewrite systems	2022-08-16	Paper
Higher dimensional categories: induction on extensivity	2022-05-03	Paper
Logic programming: laxness and saturation	2018-11-01	Paper
An enriched view on the extended finitary monad--Lawvere theory correspondence	2018-04-25	Paper
Enriched and internal categories: an extensive relationship	2018-01-12	Paper
Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness	2016-07-15	Paper
Modelling Local Variables: Possible Worlds and Object Spaces	2016-07-08	Paper
Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What?	2016-07-08	Paper
A Graphical Foundation for Schedules	2016-07-08	Paper
Coalgebraic logic programming: from Semantics to Implementation	2016-07-07	Paper
Pseudo-distributive laws	2016-05-03	Paper
Abstract Syntax: Substitution and Binders	2015-07-10	Paper
Category Theoretic Models of Data Refinement	2015-03-23	Paper
Axiomatics for Data Refinement in Call by Value Programming Languages	2015-03-23	Paper
A graphical foundation for interleaving in game semantics	2014-12-05	Paper
Category theoretic structure of setoids	2014-07-25	Paper
Tensors of Comodels and Models for Operational Semantics	2014-05-13	Paper
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2863881	2013-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2863882	2013-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2851332	2013-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q2851544	2013-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q2852358	2013-10-08	Paper
https://portal.mardi4nfdi.de/entity/Q2847814	2013-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q2847820	2013-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q2847418	2013-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q2843732	2013-08-23	Paper
Models for the computational λ-calculus	2013-06-06	Paper
Algebras, Coalgebras, Monads and Comonads	2013-04-26	Paper
Two-dimensional linear algebra	2013-04-26	Paper
Pseudo-commutative Monads	2013-04-26	Paper
Semantics for Algebraic Operations	2013-04-26	Paper
An Algebraic Foundation for Graph-based Diagrams in Computing	2013-04-26	Paper
Coalgebraic Derivations in Logic Programming	2012-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q3093868	2011-10-19	Paper
Coalgebraic Semantics for Derivations in Logic Programming	2011-09-02	Paper
Unicity of enrichment over \(\mathcal Cat\) or \(\mathcal Gpd\)	2011-03-30	Paper
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming	2011-01-21	Paper
Gabriel–Ulmer duality and Lawvere theories enriched over a general base	2009-10-28	Paper
Lawvere theories enriched over a general base	2009-01-08	Paper
https://portal.mardi4nfdi.de/entity/Q3532206	2008-11-03	Paper
Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness	2008-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q5431524	2007-12-11	Paper
Foundations of Software Science and Computation Structures	2007-09-28	Paper
Combining algebraic effects with continuations	2007-05-11	Paper
Generic models for computational effects	2007-01-09	Paper
Discrete Lawvere theories and computational effects	2007-01-09	Paper
Pseudo-distributive laws and axiomatics for variable binding	2006-11-17	Paper
Algebra and Coalgebra in Computer Science	2006-10-20	Paper
A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics	2006-09-22	Paper
Combining effects: sum and tensor	2006-08-16	Paper
Coalgebraic semantics for timed processes	2006-06-30	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
Category theory for operational semantics	2005-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4738236	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4457466	2004-03-22	Paper
Modelling environments in call-by-value programming languages.	2004-03-14	Paper
Dualising initial algebras	2003-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q4417872	2003-07-30	Paper
Algebraic operations and generic effects	2003-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4783305	2002-12-04	Paper
Pseudo-commutative monads and pseudo-closed 2-categories	2002-12-02	Paper
On weak higher-dimensional categories. I: Part 3	2002-09-06	Paper
Combining a monad and a comonad	2002-07-15	Paper
Premonoidal categories as categories with algebraic structure	2002-07-15	Paper
Fixpoint operators for domain equations	2002-07-15	Paper
On weak higher-dimensional categories. I. 2	2002-05-22	Paper
https://portal.mardi4nfdi.de/entity/Q2771052	2002-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q2753695	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2754136	2001-11-11	Paper
A representation result for free cocompletions	2001-11-05	Paper
On weak higher dimensional categories. I: Part 1	2001-10-28	Paper
On the structure of categories of coalgebras	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q2722025	2001-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q4499306	2001-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4499221	2001-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q4945251	2000-09-26	Paper
Syntactic control of interference revisited	2000-08-23	Paper
Bireflectivity	2000-08-23	Paper
Data refinement and algebraic structure	2000-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q4938649	2000-02-23	Paper
Sketches	2000-02-15	Paper
https://portal.mardi4nfdi.de/entity/Q4251927	2000-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q4936142	2000-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q4936143	2000-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q4704209	1999-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4261097	1999-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q4256313	1999-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q4218944	1999-05-31	Paper
https://portal.mardi4nfdi.de/entity/Q4219032	1999-05-31	Paper
https://portal.mardi4nfdi.de/entity/Q4222954	1999-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q4222895	1998-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4222899	1998-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4222775	1998-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4222758	1998-12-10	Paper
Premonoidal categories and notions of computation	1998-10-01	Paper
A representable approach to finite nondeterminism	1998-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q4364388	1998-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4364395	1998-03-02	Paper
Lax naturality through enrichment	1997-02-17	Paper
Why tricategories?	1995-12-10	Paper
Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads	1993-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q3978986	1992-06-26	Paper
A characterization of pie limits	1992-06-25	Paper
A 2-categorical pasting theorem	1990-01-01	Paper
A general coherence result	1989-01-01	Paper
Two-dimensional monad theory	1989-01-01	Paper
Flexible limits for 2-categories	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3832738	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3792855	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3816229	1988-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: A. John Power