20002018
If you made any changes in Pure these will be visible here soon.

Research Output 2000 2018

Filter
Chapter
2011
11 Citations

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 proceedingChapter

File
Logic Programming
Soundness
Completeness
Coalgebra
Correctness
11 Citations

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 proceedingChapter

Open Access
File
Coalgebra
Logic Programming
Logic Programs
Ordered Categories
Semantics
8 Citations

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 proceedingChapter

Open Access
File
Logic programming
Semantics
Computer programming languages
Functional programming

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 proceedingChapter

Open Access
File
2008
4 Citations

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 proceedingChapter

Open Access
File
Many valued logics
Semantics
Logic programming

Logic Programs as Coalgebras

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

Research output: Chapter in Book/Report/Conference proceedingChapter

2007

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 proceedingChapter

2005
9 Citations

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 proceedingChapter

Signature
Formulation
Monads
Monoidal Category
Generalise
5 Citations

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 proceedingChapter

Presheaves
Signature
Cartesian
Lambda Calculus
Term
6 Citations

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 proceedingChapter

Countable
Monads
Tensor
Closed
Continuation

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 proceedingChapter

2004

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 proceedingChapter

3 Citations

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 proceedingChapter

Canonical Model
Lambda Calculus
Exception
Signature
Nondeterminism

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 proceedingChapter

2003

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 proceedingChapter

Semantics
10 Citations

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 proceedingChapter

Substitution
Monads
Formulation
Distributive law
Logic
2 Citations

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 proceedingChapter

Higher Order
Lambda Calculus
Fragment
Calculus
Enriched Category

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 proceedingChapter

2002
23 Citations

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 proceedingChapter

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 proceedingChapter

Logical Relation
Lambda Calculus
Cartesian
Categorical
Language
121 Citations

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 proceedingChapter

Monads
Models of Computation
Computational Model
Continuation
Relationships
2001
52 Citations

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 proceedingChapter

Nondeterminism
Functional Programming
Monads
Lambda Calculus
Operational Semantics
4 Citations

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 proceedingChapter

Statecharts
Tool Support
Software Tools
Computing
Graph in graph theory

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 proceedingChapter

Equivalence
Type Theory
Term
Soundness
Completeness
3 Citations

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 proceedingChapter

Reasoning
Transition Systems
Connectivity
Logic
Semantics
2000
3 Citations

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 proceedingChapter

Completeness
Refinement
Calculus
Simulation
Enriched Category
1 Citations

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 proceedingChapter

11 Citations

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 proceedingChapter