A. John Power

Publication Activity (10 Years)

Years Active: 1989-2004
Publications (10 Years): 0

Publications

Gordon D. Plotkin, A. John Power
Computational Effects and Operations: An Overview. Electron. Notes Theor. Comput. Sci. 73 (2004)
Marco Kick, A. John Power
Modularity of Behaviours for Mathematical Operational Semantics. CMCS (2004)
A. John Power, Olha Shkaravska
From Comodels to Coalgebras: State and Arrays. CMCS (2004)
Peter J. Freyd, Peter W. O'Hearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent
Bireflectivity. Theor. Comput. Sci. 228 (1-2) (1999)
A. John Power
Categories with Algebraic Structure. CSL (1997)
Marcelo P. Fiore, Gordon D. Plotkin, A. John Power
Complete Cuboidal Sets in Axiomatic Domain Theory. LICS (1997)
Yoshiki Kinoshita, A. John Power
A Fibrational Semantics for Logic Programs. ELP (1996)
A. John Power
Why Tricategories? Inf. Comput. 120 (2) (1995)
Alex Mifsud, Robin Milner, A. John Power
Control Structures LICS (1995)
A. John Power, Charles Wells
A Formalism for the Specification of Essentially Algebraic Structures in 2-Categories. Math. Struct. Comput. Sci. 2 (1) (1992)
A. John Power, Leon Sterling
A Notion of Map between Logic Programs. ICLP (1990)
A. John Power
An Abstract Formulation for Rewrite Systems. Category Theory and Computer Science (1989)
A. John Power
An Algebraic Formulation for Data Refinement. Mathematical Foundations of Programming Semantics (1989)