John Power

A. John Power

	2009
91		Michael Johnson, David Naumann, John Power: Category Theoretic Models of Data Refinement. Electr. Notes Theor. Comput. Sci. 225: 21-38 (2009)
90		John Power, Miki Tanaka: Axiomatics for Data Refinement in Call by Value Programming Languages. Electr. Notes Theor. Comput. Sci. 225: 281-302 (2009)
	2008
89		Ekaterina Komendantskaya, John Power: Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. JELIA 2008: 258-271
88		Gordon D. Plotkin, John Power: Tensors of Comodels and Models for Operational Semantics. Electr. Notes Theor. Comput. Sci. 218: 295-311 (2008)
87		John Power, Miki Tanaka: Category Theoretic Semantics for Typed Binding Signatures with Recursion. Fundam. Inform. 84(2): 221-240 (2008)
	2007
86		Martin Hyland, John Power: The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads. Electr. Notes Theor. Comput. Sci. 172: 437-458 (2007)
85		John Power: Abstract Syntax: Substitution and Binders: Invited Address. Electr. Notes Theor. Comput. Sci. 173: 3-16 (2007)
84		Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power: Combining algebraic effects with continuations. Theor. Comput. Sci. 375(1-3): 20-40 (2007)
	2006
83		Ewen Denney, John Power, Konstantinos Tourlas: Hiproofs: A Hierarchical Notion of Proof Tree. Electr. Notes Theor. Comput. Sci. 155: 341-359 (2006)
82		John Power: Semantics for Local Computational Effects. Electr. Notes Theor. Comput. Sci. 158: 355-371 (2006)
81		Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini: A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda. Electr. Notes Theor. Comput. Sci. 161: 43-57 (2006)
80		John Power: Countable Lawvere Theories and Computational Effects. Electr. Notes Theor. Comput. Sci. 161: 59-71 (2006)
79		Neil Ghani, John Power: Preface. Electr. Notes Theor. Comput. Sci. 164(1): 1-2 (2006)
78		Miki Tanaka, John Power: Pseudo-distributive laws and axiomatics for variable binding. Higher-Order and Symbolic Computation 19(2-3): 305-337 (2006)
77		Marco Kick, John Power, Alex Simpson: Coalgebraic semantics for timed processes. Inf. Comput. 204(4): 588-609 (2006)
76		Miki Tanaka, John Power: A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics. J. Log. Comput. 16(1): 5-25 (2006)
75		Martin Hyland, Gordon D. Plotkin, John Power: Combining effects: Sum and tensor. Theor. Comput. Sci. 357(1-3): 70-99 (2006)
74		John Power: Generic models for computational effects. Theor. Comput. Sci. 364(2): 254-269 (2006)
73		Martin Hyland, John Power: Discrete Lawvere theories and computational effects. Theor. Comput. Sci. 366(1-2): 144-162 (2006)
	2005
72		John Power: Discrete Lawvere Theories. CALCO 2005: 348-363
71		Miki Tanaka, John Power: A unified category-theoretic formulation of typed binding signatures. MERLIN 2005: 13-24
70		John Power, Miki Tanaka: Binding Signatures for Generic Contexts. TLCA 2005: 308-323
	2004
69		John Power: Canonical Models for Computational Effects. FoSSaCS 2004: 438-452
68		Martin Hyland, John Power: Symmetric Monoidal Sketches and Categories of Wirings. Electr. Notes Theor. Comput. Sci. 100: 31-46 (2004)
67		Marco Kick, A. John Power: Modularity of Behaviours for Mathematical Operational Semantics. Electr. Notes Theor. Comput. Sci. 106: 185-200 (2004)
66		A. John Power, Olha Shkaravska: From Comodels to Coalgebras: State and Arrays. Electr. Notes Theor. Comput. Sci. 106: 297-314 (2004)
65		Gordon D. Plotkin, A. John Power: Computational Effects and Operations: An Overview. Electr. Notes Theor. Comput. Sci. 73: 149-163 (2004)
64		Marina Lenisa, John Power, Hiroshi Watanabe: Category theory for operational semantics. Theor. Comput. Sci. 327(1-2): 135-154 (2004)
	2003
63		John Power, Konstantinos Tourlas: Abstraction in Reasoning about Higraph-Based Systems. FoSSaCS 2003: 392-408
62		Gordon D. Plotkin, John Power: Logic for Computational Effects: Work in Progress. IWFM 2003
61		John Power: A unified category theoretic approach to variable binding. MERLIN 2003
60		John Power: A Universal Embedding for the Higher Order Structure of Computational Effects. TLCA 2003: 301-315
59		Gordon D. Plotkin, John Power: Algebraic Operations and Generic Effects. Applied Categorical Structures 11(1): 69-94 (2003)
58		John Power, Konstantinos Tourlas: On the Geometric Modelling of Visual Languages. Electr. Notes Theor. Comput. Sci. 72(3): (2003)
57		John Power: Towards a theory of mathematical operational semantics. Electr. Notes Theor. Comput. Sci. 82(1): (2003)
56		Paul Blain Levy, John Power, Hayo Thielecke: Modelling environments in call-by-value programming languages. Inf. Comput. 185(2): 182-210 (2003)
55		Neil Ghani, Christoph Lüth, Federico De Marchi, John Power: Dualising Initial Algebras. Mathematical Structures in Computer Science 13(2): 349-370 (2003)
	2002
54		Gordon D. Plotkin, John Power: Notions of Computation Determine Monads. FoSSaCS 2002: 342-356
53		Martin Hyland, Gordon D. Plotkin, John Power: Combining Computational Effects: commutativity & sum. IFIP TCS 2002: 474-484
52		Stuart Anderson, John Power, Konstantinos Tourlas: Zooming-out on Higraph-based diagrams - Syntactic and Semantic Issues. Electr. Notes Theor. Comput. Sci. 61: (2002)
51		John Power: Premonoidal categories as categories with algebraic structure. Theor. Comput. Sci. 278(1-2): 303-321 (2002)
50		John Power, Giuseppe Rosolini: Fixpoint operators for domain equations. Theor. Comput. Sci. 278(1-2): 323-333 (2002)
49		John Power, Hiroshi Watanabe: Combining a monad and a comonad. Theor. Comput. Sci. 280(1-2): 137-162 (2002)
	2001
48		John Power, Konstantinos Tourlas: An Algebraic Foundation for Higraphs. CSL 2001: 145-159
47		Gordon D. Plotkin, John Power: Adequacy for Algebraic Effects. FoSSaCS 2001: 1-24
46		Stuart Anderson, John Power, Konstantinos Tourlas: Reasoning in Higraphs with Loose Edges. HCC 2001: 23-29
45		Neil Ghani, Christoph Lüth, Federico De Marchi, John Power: Algebras, Coalgebras, Monads and Comonads. Electr. Notes Theor. Comput. Sci. 44(1): (2001)
44		Martin Hyland, John Power: Two-dimensional linear algebra. Electr. Notes Theor. Comput. Sci. 44(1): (2001)
43		John Power, Konstantinos Tourlas: An Algebraic Foundation for Graph-based Diagrams in Computing. Electr. Notes Theor. Comput. Sci. 45: (2001)
42		Martin Hyland, John Power: Pseudo-commutative Monads. Electr. Notes Theor. Comput. Sci. 45: (2001)
41		Gordon D. Plotkin, John Power: Semantics for Algebraic Operations. Electr. Notes Theor. Comput. Sci. 45: (2001)
40		Peter 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)
	2000
39		John Power, Edmund Robinson: Logical Relations and Data Abstraction. CSL 2000: 497-511
38		Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent: Lax Logical Relations. ICALP 2000: 85-102
37		John Power, Edmund Robinson: Logical relations, data abstraction, and structured fibrations. PPDP 2000: 15-23
36		Martin Hyland, John Power: Symmetric monoidal sketches. PPDP 2000: 280-288
35		Yoshiki Kinoshita, John Power: Data Refinement and Algebraic Structure. Acta Inf. 36(9/10): 693-719 (2000)
34		Marina Lenisa, John Power, Hiroshi Watanabe: Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads. Electr. Notes Theor. Comput. Sci. 33: (2000)
33		John Power: Models for the computational lambda-calculus. Electr. Notes Theor. Comput. Sci. 40: (2000)
	1999
32		Yoshiki Kinoshita, John Power: Data-Refinement for Call-By-Value Programming Languages. CSL 1999: 562-576
31		John Power, Hayo Thielecke: Closed Freyd- and kappa-categories. ICALP 1999: 625-634
30		Yoshiki Kinoshita, John Power: A General Completeness Result in Refinement. WADT 1999: 201-218
29		John Power, Hiroshi Watanabe: Distributivity for a monad and a comonad. Electr. Notes Theor. Comput. Sci. 19: (1999)
28		John Power, Edmund Robinson: Modularity and Dyads. Electr. Notes Theor. Comput. Sci. 20: (1999)
27		John Power, Daniele Turi: A Coalgebraic Foundation for Linear Time Semantics. Electr. Notes Theor. Comput. Sci. 29: (1999)
26		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)
25		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)
	1998
24		Gian Luca Cattani, John Power, Glynn Winskel: A Categorical Axiomatics for Bisimulation. CONCUR 1998: 581-596
23		John Power, Giuseppe Rosolini: A Modular Approach to Denotational Semantics. ICALP 1998: 351-362
22		Claudio Hermida, Michael Makkai, John Power: Higher Dimensional Multigraphs. LICS 1998: 199-206
21		Peter Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell: An Axiomatics for Categories of Transition Systems as Coalgebras. LICS 1998: 207-213
20		John Power, Hiroshi Watanabe: An axiomatics for categories of coalgebras. Electr. Notes Theor. Comput. Sci. 11: (1998)
	1997
19		A. John Power: Categories with Algebraic Structure. CSL 1997: 389-405
18		Marcelo P. Fiore, Gordon D. Plotkin, A. John Power: Complete Cuboidal Sets in Axiomatic Domain Theory. LICS 1997: 268-279
17		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
16		John Power, Hayo Thielecke: Environments, Continuation Semantics and Indexed Categories. TACS 1997: 391-414
15		John Power: Modularity in denotational semantics. Electr. Notes Theor. Comput. Sci. 6: (1997)
14		Yoshiki Kinoshita, John Power, Makoto Takeyama: Sketches. Electr. Notes Theor. Comput. Sci. 6: (1997)
13		John Power, Edmund Robinson: Premonoidal Categories and Notions of Computation. Mathematical Structures in Computer Science 7(5): 453-468 (1997)
12		S. O. Anderson, John Power: A Representable Approach to Finite Nondeterminism. Theor. Comput. Sci. 177(1): 3-25 (1997)
	1996
11		John Power: Elementary Control Structures. CONCUR 1996: 115-130
10		Yoshiki Kinoshita, A. John Power: A Fibrational Semantics for Logic Programs. ELP 1996: 177-191
	1995
9		Claudio Hermida, John Power: Fibrational Control Structures. CONCUR 1995: 117-129
8		Alex Mifsud, Robin Milner, A. John Power: Control Structures LICS 1995: 188-198
7		Peter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama: Bireflectivity. Electr. Notes Theor. Comput. Sci. 1: (1995)
6		Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama: Syntactic control of interference revisited. Electr. Notes Theor. Comput. Sci. 1: (1995)
5		A. John Power: Why Tricategories? Inf. Comput. 120(2): 251-262 (1995)
	1992
4		A. John Power, Charles Wells: A Formalism for the Specification of Essentially Algebraic Structures in 2-Categories. Mathematical Structures in Computer Science 2(1): 1-28 (1992)
	1990
3		A. John Power, Leon Sterling: A Notion of Map between Logic Programs. ICLP 1990: 390-404
	1989
2		A. John Power: An Abstract Formulation for Rewrite Systems. Category Theory and Computer Science 1989: 300-312
1		A. John Power: An Algebraic Formulation for Data Refinement. Mathematical Foundations of Programming Semantics 1989: 390-401

Coauthor Index

1	S. O. Anderson	[12]
2	Stuart Anderson	[46] [52]
3	Gian Luca Cattani	[24]
4	Ewen Denney	[83]
5	Marcelo P. Fiore	[18]
6	Peter J. Freyd	[7] [25]
7	Neil Ghani	[45] [55] [79]
8	Claudio Hermida	[9] [22]
9	Martin Hyland (J. M. E. Hyland)	[36] [42] [44] [53] [68] [73] [75] [81] [84] [86]
10	Michael Johnson	[91]
11	Peter Johnstone	[21] [40]
12	Marco Kick	[67] [77]
13	Yoshiki Kinoshita	[10] [14] [17] [30] [32] [35]
14	Ekaterina Komendantskaya	[89]
15	Marina Lenisa	[34] [64]
16	Paul Blain Levy	[56] [84]
17	Christoph Lüth	[45] [55]
18	Michael Makkai	[22]
19	Federico De Marchi	[45] [55]
20	Alex Mifsud	[8]
21	Robin Milner	[8]
22	Misao Nagayama	[81]
23	David Naumann	[91]
24	Peter W. O'Hearn	[6] [7] [17] [25] [26]
25	Gordon D. Plotkin	[18] [38] [41] [47] [53] [54] [59] [62] [65] [75] [84] [88]
26	Edmund Robinson (E. P. Robinson)	[13] [28] [37] [39]
27	Giuseppe Rosolini	[23] [50] [81]
28	Donald Sannella	[38]
29	Olha Shkaravska	[66]
30	Alex K. Simpson (Alex Simpson)	[77]
31	Leon Sterling	[3]
32	R. Street	[25]
33	Makoto Takeyama	[6] [7] [14] [17] [25] [26]
34	Miki Tanaka	[70] [71] [76] [78] [87] [90]
35	Robert D. Tennent	[6] [7] [17] [25] [26] [38]
36	Hayo Thielecke	[16] [31] [56]
37	Konstantinos Tourlas	[43] [46] [48] [52] [58] [63] [83]
38	Toru Tsujishita	[21] [40]
39	Daniele Turi	[27]
40	Hiroshi Watanabe	[20] [21] [29] [34] [40] [49] [64]
41	Charles Wells	[4]
42	Glynn Winskel	[24]
43	James Worrell	[21] [40]

Colors in the list of coauthors