Research Output per year

## Research Output 2000 2018

### Coalgebraic Derivations in Logic Programming

Komendantskaya, E. & Power, J. Sep 2011*Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL.*Bezem, M. (ed.). Dagstuhl, Germany: Leibniz International Proceedings in Informatics, p. 352-366 15 p. (Leibniz International Proceedings in Informatics (LIPIcs))

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### Coalgebraic semantics for derivations in logic programming

Komendantskaya, E. & Power, J. 2011*Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchetser, UK, August 30 - September 2, 2011. Proceedings.*Corradini, A., Kin, B. & Cirstea, C. (eds.). Heidelberg: Springer, p. 268-282 15 p. (Lecture Notes in Computer Science; vol. 6859)

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### Coalgebraic semantics for parallel derivation strategies in logic programming

Komendantskaya, E., McCusker, G. & Power, J. 2011*Algebraic Methodology and Software Technology.*Johnson, M. & Pavlovic, D. (eds.). Springer, Vol. 6486, p. 111-127 17 p. (Lecture Notes in Computer Science)

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### Indexed Lawvere theories for local state

Power, J. 2011*Models, Logics and Higher-Dimensional Categories: A Tribute to the Work of Mihály Makkai.*Hart, B., Kucera, T. G., Pillay, A., Scott, P. J. & Seely, R. A. G. (eds.). Rhode Island: American Mathematical Society, p. 213-229 18 p. (CRM Proceedings & Lecture Notes; vol. 53)

Research output: Chapter in Book/Report/Conference proceeding › Chapter

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

Komendantskaya, E. & Power, J. 2008*Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings.*Heidelberg: Springer, Vol. 5293, p. 258-271 14 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### Logic Programs as Coalgebras

McCusker, G. & Power, J. 2008*Proc. CMCS Short Contributions 2008.*

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### Three dimensional monad theory

Power, J. 2007*Categories in algebra, geometry and mathematical physics.*Providence, RI: Amer. Math. Soc., Vol. 431, p. 405-426 22 p. (Contemp. Math.)

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### A unified category-theoretic formulation of typed binding signatures

Tanaka, M. & Power, J. 2005*MERLIN '05 Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding.*New York: Association for Computing Machinery, p. 13-24 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### Binding signatures for generic contexts

Power, J. & Tanaka, M. 2005*Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings.*Berlin: Springer, Vol. 3461, p. 308-323 16 p. (Lecture Notes in Comput. Sci.)

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### Discrete Lawvere theories

Power, J. 2005*Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings.*Berlin: Springer, Vol. 3629, p. 348-363 16 p. (Lecture Notes in Comput. Sci.)

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### Hierarchical Proof Structures

Denney, E. W., Tourlas, K. & Power, J. 2005*Structures and Deduction – the Quest for the Essence of Proofs (satellite workshop of ICALP 2005).*Dresden: Technische Universität Dresden, p. 144-157 14 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### A unified category-theoretic approach to substitution in substructural logics

Tanaka, M. & Power, J. 2004*Proc. Workshop on Logics for Resources, Processes, and Programs.*

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### Canonical models for computational effects

Power, J. 2004*Foundations of Software Science and Computation Structures 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proce.*Berlin: Springer, Vol. 2987, p. 438-452 15 p. (Lecture Notes in Comput. Sci.)

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### Combining continuations with other effects

Hyland, M., Levy, P., Plotkin, G. D. & Power, J. 2004*Proceedings of the Fourth ACM SIGPLAN Continuations Workshop CW'04, Birmingham Technical Report CSR-04-1.*

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### Abstraction in reasoning about higraph-based systems

Power, J. & Tourlas, K. 2003*Foundations of Software Science and Computation Structures 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings.*Berlin: Springer, Vol. 2620, p. 392-408 17 p. (Lecture Notes in Comput. Sci.)

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### A unified category theoretic approach to variable binding

Power, J. 2003*Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03.*New York: Association for Computing Machinery

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### A universal embedding for the higher order structure of computational effects

Power, J. 2003*Typed Lambda Calculi and Applications 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings.*Berlin: Springer, Vol. 2701, p. 301-315 15 p. (Lecture Notes in Computer Science)

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### Logic for computational effects: work in progress

Plotkin, G. D. & Power, J. 2003*Proc. International Workshop on Formal Methods 03, British Com- puter Society Electronic Workshops in Computing.*

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### Combining Computational Effects: commutativity & sum

Hyland, M., Plotkin, G. D. & Power, J. 2002*Proceedings of IFIP TCS'2002.*Baeza-Yates, R. A., Montanari, U. & Santoro, N. (eds.). Kluwer, p. 474-484 11 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### Lax Logical Relations

Plotkin, G., Power, J., Sannella, D. & Tennent, R. 2002*Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings.*Vol. 1853, p. 85-102 18 p. (Lecture Notes in Computer Science)

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### Notions of computation determine monads

Plotkin, G. & Power, J. 2002*Foundations of Software Science and Computation Structures 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings.*Berlin: Springer, Vol. 2303, p. 342-356 15 p. (Lecture Notes in Computer Science)

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### Adequacy for algebraic effects

Plotkin, G. & Power, J. 2001*Foundations of Software Science and Computation Structures 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings.*Berlin: Springer, Vol. 2030, p. 1-24 24 p. (Lecture Notes in Comput. Sci.)

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### An algebraic foundation for higraphs

Power, J. & Tourlas, K. 2001*Computer Science Logic 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings.*Berlin: Springer, Vol. 2142, p. 145-159 15 p. (Lecture Notes in Computer Science)

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### Logical Relations and Data Abstraction

Power, J. & Robinson, E. 2001*Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings.*Heidelberg: Springer, Vol. 1862, p. 497-511 15 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### Reasoning in higraphs with loose edges

Anderson, S., Power, J. & Tourlas, K. 2001*Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587).*Piscataway, NJ: IEEE, p. 23-29 7 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### A General Completeness Result in Refinement

Kinoshita, Y. & Power, J. 2000*Recent Trends in Algebraic Development Techniques.*Heidelberg: Springer, Vol. 1827, p. 201-218 18 p. (Lecture Notes in Computer Science)

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### Logical relations, data abstraction, and structured fibrations

Power, J. & Robinson, E. 2000*Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00.*New York: Association for Computing Machinery, p. 15-23 9 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### Symmetric monoidal sketches

Hyland, M. & Power, J. 2000*Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00.*New York: Association for Computing Machinery, p. 280-288 9 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter