Остановите войну!
for scientists:
default search action
John Power
- > Home > Persons > John Power
Publications
- 2018
- [j31]Ekaterina Komendantskaya, John Power:
Logic programming: Laxness and saturation. J. Log. Algebraic Methods Program. 101: 1-21 (2018) - 2017
- [e3]Ekaterina Komendantskaya, John Power:
Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, CoALP-Ty 2016, Edinburgh, UK, 28-29 November 2016. EPTCS 258, 2017 [contents] - 2016
- [j29]Ekaterina Komendantskaya, John Power, Martin Schmidt:
Coalgebraic logic programming: from Semantics to Implementation. J. Log. Comput. 26(2): 745-783 (2016) - [c80]Ekaterina Komendantskaya, John Power:
Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness. CMCS 2016: 94-113 - [i3]Ekaterina Komendantskaya, John Power:
Category theoretic semantics for theorem proving in logic programming: embracing the laxness. CoRR abs/1602.05400 (2016) - [i2]Ekaterina Komendantskaya, John Power:
Logic programming: laxness and saturation. CoRR abs/1608.07708 (2016) - 2014
- [j28]Yoshiki Kinoshita, John Power:
Category theoretic structure of setoids. Theor. Comput. Sci. 546: 145-163 (2014) - [e2]John Power, Cai Wingfield:
Proceedings of the Workshop on Algebra, Coalgebra and Topology, WACT 2013, Bath, UK, March 1, 2013. Electronic Notes in Theoretical Computer Science 303, Elsevier 2014 [contents] - 2013
- [c79]John Power, Cai Wingfield:
Preface. WACT 2013: 1-2 - [i1]Ekaterina Komendantskaya, John Power, Martin Schmidt:
Coalgebraic Logic Programming: from Semantics to Implementation. CoRR abs/1312.6568 (2013) - 2012
- [c77]Guy McCusker, John Power, Cai Wingfield:
A Graphical Foundation for Schedules. MFPS 2012: 273-289 - 2011
- [c76]Ekaterina Komendantskaya, John Power:
Coalgebraic Semantics for Derivations in Logic Programming. CALCO 2011: 268-282 - [c75]Ekaterina Komendantskaya, John Power:
Coalgebraic Derivations in Logic Programming. CSL 2011: 352-366 - 2010
- [c74]Ekaterina Komendantskaya, Guy McCusker, John Power:
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming. AMAST 2010: 111-127 - [c73]Guy McCusker, John Power:
Modelling Local Variables: Possible Worlds and Object Spaces. MFPS 2010: 389-402 - 2009
- [j25]Stephen Lack, John Power:
Gabriel-Ulmer duality and Lawvere theories enriched over a general base. J. Funct. Program. 19(3-4): 265-286 (2009) - 2008
- [c71]Ekaterina Komendantskaya, John Power:
Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. JELIA 2008: 258-271 - [c70]Gordon D. Plotkin, John Power:
Tensors of Comodels and Models for Operational Semantics. MFPS 2008: 295-311 - 2007
- [j22]Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power:
Combining algebraic effects with continuations. Theor. Comput. Sci. 375(1-3): 20-40 (2007) - [c68]Martin Hyland, John Power:
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads. Computation, Meaning, and Logic 2007: 437-458 - 2006
- [j21]Marco Kick, John Power, Alex Simpson:
Coalgebraic semantics for timed processes. Inf. Comput. 204(4): 588-609 (2006) - [j18]Martin Hyland, Gordon D. Plotkin, John Power:
Combining effects: Sum and tensor. Theor. Comput. Sci. 357(1-3): 70-99 (2006) - [j16]Martin Hyland, John Power:
Discrete Lawvere theories and computational effects. Theor. Comput. Sci. 366(1-2): 144-162 (2006) - [c66]Neil Ghani, John Power:
Preface. CMCS 2006: 1-2 - [c65]Michael Johnson, David A. Naumann, John Power:
Category Theoretic Models of Data Refinement. MFCSIT 2006: 21-38 - [e1]Neil Ghani, John Power:
Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, CMCS 2006, Vienna, Austria, March 25-27, 2006. Electronic Notes in Theoretical Computer Science 164(1), Elsevier 2006 [contents] - 2005
- [c59]Ewen Denney, John Power, Konstantinos Tourlas:
Hiproofs: A Hierarchical Notion of Proof Tree. MFPS 2005: 341-359 - 2004
- [j15]Marina Lenisa, John Power, Hiroshi Watanabe:
Category theory for operational semantics. Theor. Comput. Sci. 327(1-2): 135-154 (2004) - [c57]Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini:
A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda. MFCSIT 2004: 43-57 - [c55]Marco Kick, A. John Power:
Modularity of Behaviours for Mathematical Operational Semantics. CMCS 2004: 185-200 - [c54]A. John Power, Olha Shkaravska:
From Comodels to Coalgebras: State and Arrays. CMCS 2004: 297-314 - 2003
- [j14]Gordon D. Plotkin, John Power:
Algebraic Operations and Generic Effects. Appl. Categorical Struct. 11(1): 69-94 (2003) - [j13]Paul Blain Levy, John Power, Hayo Thielecke:
Modelling environments in call-by-value programming languages. Inf. Comput. 185(2): 182-210 (2003) - [j12]Neil Ghani, Christoph Lüth, Federico De Marchi, John Power:
Dualising Initial Algebras. Math. Struct. Comput. Sci. 13(2): 349-370 (2003) - [c53]John Power, Konstantinos Tourlas:
Abstraction in Reasoning about Higraph-Based Systems. FoSSaCS 2003: 392-408 - [c51]Gordon D. Plotkin, John Power:
Logic for Computational Effects: Work in Progress. IWFM 2003 - [c50]Eugenia Cheng, Martin Hyland, John Power:
Pseudo-distributive Laws. MFPS 2003: 227-245 - [c48]Martin Hyland, John Power:
Symmetric Monoidal Sketches and Categories of Wirings. CMCIM/GETCO@CONCUR 2003: 31-46 - 2002
- [j10]John Power, Giuseppe Rosolini:
Fixpoint operators for domain equations. Theor. Comput. Sci. 278(1-2): 323-333 (2002) - [j9]John Power, Hiroshi Watanabe:
Combining a monad and a comonad. Theor. Comput. Sci. 280(1-2): 137-162 (2002) - [c46]Gordon D. Plotkin, John Power:
Notions of Computation Determine Monads. FoSSaCS 2002: 342-356 - [c45]Martin Hyland, Gordon D. Plotkin, John Power:
Combining Computational Effects: commutativity & sum. IFIP TCS 2002: 474-484 - [c43]John Power, Konstantinos Tourlas:
On the Geometric Modelling of Visual Languages. GT-VMT@ICGT 2002: 1-12 - [c42]Gordon D. Plotkin, A. John Power:
Computational Effects and Operations: An Overview. Workshop on Domains 2002: 149-163 - [c41]Stuart Anderson, John Power, Konstantinos Tourlas:
Zooming-out on Higraph-based diagrams - Syntactic and Semantic Issues. CATS 2002: 201-211 - 2001
- [j8]Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell:
On the structure of categories of coalgebras. Theor. Comput. Sci. 260(1-2): 87-117 (2001) - [c40]John Power, Konstantinos Tourlas:
An Algebraic Foundation for Higraphs. CSL 2001: 145-159 - [c39]Gordon D. Plotkin, John Power:
Adequacy for Algebraic Effects. FoSSaCS 2001: 1-24 - [c38]Stuart Anderson, John Power, Konstantinos Tourlas:
Reasoning in Higraphs with Loose Edges. HCC 2001: 23-29 - [c37]Neil Ghani, Christoph Lüth, Federico De Marchi, John Power:
Algebras, Coalgebras, Monads and Comonads. CMCS 2001: 128-145 - [c36]Martin Hyland, John Power:
Pseudo-commutative Monads. MFPS 2001: 197-208 - [c35]Martin Hyland, John Power:
Two-dimensional linear algebra. CMCS 2001: 227-240 - [c34]Gordon D. Plotkin, John Power:
Semantics for Algebraic Operations. MFPS 2001: 332-345 - [c33]John Power, Konstantinos Tourlas:
An Algebraic Foundation for Graph-based Diagrams in Computing. MFPS 2001: 346-357 - 2000
- [j7]Yoshiki Kinoshita, John Power:
Data Refinement and Algebraic Structure. Acta Informatica 36(9/10): 693-719 (2000) - [c32]John Power, Edmund Robinson:
Logical Relations and Data Abstraction. CSL 2000: 497-511 - [c31]Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent:
Lax Logical Relations. ICALP 2000: 85-102 - [c30]John Power, Edmund Robinson:
Logical relations, data abstraction, and structured fibrations. PPDP 2000: 15-23 - [c29]Martin Hyland, John Power:
Symmetric monoidal sketches. PPDP 2000: 280-288 - [c28]Marina Lenisa, John Power, Hiroshi Watanabe:
Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads. CMCS 2000: 230-260 - 1999
- [j6]Peter J. Freyd, Peter W. O'Hearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent:
Bireflectivity. Theor. Comput. Sci. 228(1-2): 49-76 (1999) - [j5]Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent:
Syntactic Control of Interference Revisited. Theor. Comput. Sci. 228(1-2): 211-252 (1999) - [c26]Yoshiki Kinoshita, John Power:
Data-Refinement for Call-By-Value Programming Languages. CSL 1999: 562-576 - [c25]John Power, Hayo Thielecke:
Closed Freyd- and kappa-categories. ICALP 1999: 625-634 - [c24]Yoshiki Kinoshita, John Power:
A General Completeness Result in Refinement. WADT 1999: 201-218 - [c23]John Power, Hiroshi Watanabe:
Distributivity for a monad and a comonad. CMCS 1999: 102 - [c22]John Power, Edmund Robinson:
Modularity and Dyads. MFPS 1999: 467-480 - [c21]John Power, Daniele Turi:
A Coalgebraic Foundation for Linear Time Semantics. CTCS 1999: 259-274 - 1998
- [c20]Gian Luca Cattani, John Power, Glynn Winskel:
A Categorical Axiomatics for Bisimulation. CONCUR 1998: 581-596 - [c19]John Power, Giuseppe Rosolini:
A Modular Approach to Denotational Semantics. ICALP 1998: 351-362 - [c18]Claudio Hermida, Michael Makkai, John Power:
Higher Dimensional Multigraphs. LICS 1998: 199-206 - [c17]Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell:
An Axiomatics for Categories of Transition Systems as Coalgebras. LICS 1998: 207-213 - [c16]John Power, Hiroshi Watanabe:
An axiomatics for categories of coalgebras. CMCS 1998: 158-175 - 1997
- [j4]John Power, Edmund Robinson:
Premonoidal Categories and Notions of Computation. Math. Struct. Comput. Sci. 7(5): 453-468 (1997) - [c14]Marcelo P. Fiore, Gordon D. Plotkin, A. John Power:
Complete Cuboidal Sets in Axiomatic Domain Theory. LICS 1997: 268-278 - [c13]Yoshiki Kinoshita, Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent:
An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement. TACS 1997: 191-212 - [c12]John Power, Hayo Thielecke:
Environments, Continuation Semantics and Indexed Categories. TACS 1997: 391-414 - [c11]Yoshiki Kinoshita, John Power, Makoto Takeyama:
Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday. MFPS 1997: 235-248 - 1996
- [c8]Yoshiki Kinoshita, A. John Power:
A Fibrational Semantics for Logic Programs. ELP 1996: 177-191 - 1995
- [c7]Claudio Hermida, John Power:
Fibrational Control Structures. CONCUR 1995: 117-129 - [c5]Peter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama:
Bireflectivity. MFPS 1995: 199-213 - [c4]Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama:
Syntactic control of interference revisited. MFPS 1995: 447-486
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-10-23 23:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint