BibTeX records: John Power

download as .bib file

@article{DBLP:journals/cphysics/AlbaSADHLPPQWXZ22,
  author       = {Arnau Alb{\`{a}} and
                  Jimin Seok and
                  Andreas Adelmann and
                  Scott Doran and
                  Gwanghui Ha and
                  Soonhong Lee and
                  Yinghu Piao and
                  John Power and
                  Maofei Qian and
                  Eric Wisniewski and
                  Joseph Xu and
                  Alexander Zholents},
  title        = {Benchmarking collective effects of electron interactions in a wiggler
                  with {OPAL-FEL}},
  journal      = {Comput. Phys. Commun.},
  volume       = {280},
  pages        = {108475},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.cpc.2022.108475},
  doi          = {10.1016/J.CPC.2022.108475},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cphysics/AlbaSADHLPPQWXZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KomendantskayaP18,
  author       = {Ekaterina Komendantskaya and
                  John Power},
  title        = {Logic programming: Laxness and saturation},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {101},
  pages        = {1--21},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.07.004},
  doi          = {10.1016/J.JLAMP.2018.07.004},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/KomendantskayaP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/GarnerP18,
  author       = {Richard Garner and
                  John Power},
  title        = {An enriched view on the extended finitary monad-Lawvere theory correspondence},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {14},
  number       = {1},
  year         = {2018},
  url          = {https://doi.org/10.23638/LMCS-14(1:16)2018},
  doi          = {10.23638/LMCS-14(1:16)2018},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/GarnerP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CottrellFP18,
  author       = {Thomas Cottrell and
                  Soichiro Fujii and
                  John Power},
  editor       = {Sam Staton},
  title        = {Higher Dimensional Categories: Induction on Extensivity},
  booktitle    = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
                  Canada, June 6-9, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {341},
  pages        = {73--90},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.entcs.2018.11.005},
  doi          = {10.1016/J.ENTCS.2018.11.005},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/CottrellFP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1709-04199,
  editor       = {Ekaterina Komendantskaya and
                  John Power},
  title        = {Proceedings of the First Workshop on Coalgebra, Horn Clause Logic
                  Programming and Types, CoALP-Ty 2016, Edinburgh, UK, 28-29 November
                  2016},
  series       = {{EPTCS}},
  volume       = {258},
  year         = {2017},
  url          = {http://arxiv.org/abs/1709.04199},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1709-04199.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KomendantskayaP16,
  author       = {Ekaterina Komendantskaya and
                  John Power and
                  Martin Schmidt},
  title        = {Coalgebraic logic programming: from Semantics to Implementation},
  journal      = {J. Log. Comput.},
  volume       = {26},
  number       = {2},
  pages        = {745--783},
  year         = {2016},
  url          = {https://doi.org/10.1093/logcom/exu026},
  doi          = {10.1093/LOGCOM/EXU026},
  timestamp    = {Fri, 05 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/KomendantskayaP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/KomendantskayaP16,
  author       = {Ekaterina Komendantskaya and
                  John Power},
  editor       = {Ichiro Hasuo},
  title        = {Category Theoretic Semantics for Theorem Proving in Logic Programming:
                  Embracing the Laxness},
  booktitle    = {Coalgebraic Methods in Computer Science - 13th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2016, Colocated with {ETAPS} 2016, Eindhoven, The
                  Netherlands, April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9608},
  pages        = {94--113},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40370-0\_7},
  doi          = {10.1007/978-3-319-40370-0\_7},
  timestamp    = {Thu, 14 Oct 2021 10:31:02 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/KomendantskayaP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KomendantskayaP16,
  author       = {Ekaterina Komendantskaya and
                  John Power},
  title        = {Category theoretic semantics for theorem proving in logic programming:
                  embracing the laxness},
  journal      = {CoRR},
  volume       = {abs/1602.05400},
  year         = {2016},
  url          = {http://arxiv.org/abs/1602.05400},
  eprinttype    = {arXiv},
  eprint       = {1602.05400},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KomendantskayaP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KomendantskayaP16a,
  author       = {Ekaterina Komendantskaya and
                  John Power},
  title        = {Logic programming: laxness and saturation},
  journal      = {CoRR},
  volume       = {abs/1608.07708},
  year         = {2016},
  url          = {http://arxiv.org/abs/1608.07708},
  eprinttype    = {arXiv},
  eprint       = {1608.07708},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KomendantskayaP16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KinoshitaP14,
  author       = {Yoshiki Kinoshita and
                  John Power},
  title        = {Category theoretic structure of setoids},
  journal      = {Theor. Comput. Sci.},
  volume       = {546},
  pages        = {145--163},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2014.03.006},
  doi          = {10.1016/J.TCS.2014.03.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KinoshitaP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wact/2013,
  editor       = {John Power and
                  Cai Wingfield},
  title        = {Proceedings of the Workshop on Algebra, Coalgebra and Topology, {WACT}
                  2013, Bath, UK, March 1, 2013},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {303},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/303/suppl/C},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wact/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PowerW14,
  author       = {John Power and
                  Cai Wingfield},
  editor       = {John Power and
                  Cai Wingfield},
  title        = {Preface},
  booktitle    = {Proceedings of the Workshop on Algebra, Coalgebra and Topology, {WACT}
                  2013, Bath, UK, March 1, 2013},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {303},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.entcs.2014.02.001},
  doi          = {10.1016/J.ENTCS.2014.02.001},
  timestamp    = {Tue, 22 Nov 2022 11:40:10 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PowerW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KomendantskayaPS13,
  author       = {Ekaterina Komendantskaya and
                  John Power and
                  Martin Schmidt},
  title        = {Coalgebraic Logic Programming: from Semantics to Implementation},
  journal      = {CoRR},
  volume       = {abs/1312.6568},
  year         = {2013},
  url          = {http://arxiv.org/abs/1312.6568},
  eprinttype    = {arXiv},
  eprint       = {1312.6568},
  timestamp    = {Fri, 05 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KomendantskayaPS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BehrischKP12,
  author       = {Mike Behrisch and
                  Sebastian Kerkhoff and
                  John Power},
  editor       = {Ulrich Berger and
                  Michael W. Mislove},
  title        = {Category Theoretic Understandings of Universal Algebra and its Dual:
                  Monads and Lawvere Theories, Comonads and What?},
  booktitle    = {Proceedings of the 28th Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {286},
  pages        = {5--16},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2012.08.002},
  doi          = {10.1016/J.ENTCS.2012.08.002},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BehrischKP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/McCuskerPW12,
  author       = {Guy McCusker and
                  John Power and
                  Cai Wingfield},
  editor       = {Ulrich Berger and
                  Michael W. Mislove},
  title        = {A Graphical Foundation for Schedules},
  booktitle    = {Proceedings of the 28th Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {286},
  pages        = {273--289},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2012.08.018},
  doi          = {10.1016/J.ENTCS.2012.08.018},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/McCuskerPW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/Power11,
  author       = {John Power},
  title        = {Unicity of Enrichment over Cat or Gpd},
  journal      = {Appl. Categorical Struct.},
  volume       = {19},
  number       = {1},
  pages        = {293--299},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10485-009-9202-7},
  doi          = {10.1007/S10485-009-9202-7},
  timestamp    = {Tue, 29 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acs/Power11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/KomendantskayaP11,
  author       = {Ekaterina Komendantskaya and
                  John Power},
  editor       = {Andrea Corradini and
                  Bartek Klin and
                  Corina C{\^{\i}}rstea},
  title        = {Coalgebraic Semantics for Derivations in Logic Programming},
  booktitle    = {Algebra and Coalgebra in Computer Science - 4th International Conference,
                  {CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6859},
  pages        = {268--282},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22944-2\_19},
  doi          = {10.1007/978-3-642-22944-2\_19},
  timestamp    = {Fri, 09 Apr 2021 18:48:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/KomendantskayaP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KomendantskayaP11,
  author       = {Ekaterina Komendantskaya and
                  John Power},
  editor       = {Marc Bezem},
  title        = {Coalgebraic Derivations in Logic Programming},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {352--366},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.352},
  doi          = {10.4230/LIPICS.CSL.2011.352},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/KomendantskayaP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijrc/BakerDMPSGSP10,
  author       = {Zachary K. Baker and
                  Mark E. Dunham and
                  Keith Morgan and
                  Michael Pigue and
                  Matthew Stettler and
                  Paul S. Graham and
                  Eric N. Schmierer and
                  John Power},
  title        = {Space-Based {FPGA} Radio Receiver Design, Debug, and Development of
                  a Radiation-Tolerant Computing System},
  journal      = {Int. J. Reconfigurable Comput.},
  volume       = {2010},
  pages        = {546217:1--546217:12},
  year         = {2010},
  url          = {https://doi.org/10.1155/2010/546217},
  doi          = {10.1155/2010/546217},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijrc/BakerDMPSGSP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/KomendantskayaMP10,
  author       = {Ekaterina Komendantskaya and
                  Guy McCusker and
                  John Power},
  editor       = {Michael Johnson and
                  Dusko Pavlovic},
  title        = {Coalgebraic Semantics for Parallel Derivation Strategies in Logic
                  Programming},
  booktitle    = {Algebraic Methodology and Software Technology - 13th International
                  Conference, {AMAST} 2010, Lac-Beauport, QC, Canada, June 23-25, 2010.
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6486},
  pages        = {111--127},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17796-5\_7},
  doi          = {10.1007/978-3-642-17796-5\_7},
  timestamp    = {Sun, 25 Oct 2020 23:16:25 +0100},
  biburl       = {https://dblp.org/rec/conf/amast/KomendantskayaMP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/McCuskerP10,
  author       = {Guy McCusker and
                  John Power},
  editor       = {Michael W. Mislove and
                  Peter Selinger},
  title        = {Modelling Local Variables: Possible Worlds and Object Spaces},
  booktitle    = {Proceedings of the 26th Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2010, Ottawa, Ontario, Canada, May
                  6-10, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {265},
  pages        = {389--402},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.08.023},
  doi          = {10.1016/J.ENTCS.2010.08.023},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/McCuskerP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/LackP09,
  author       = {Stephen Lack and
                  John Power},
  title        = {Gabriel-Ulmer duality and Lawvere theories enriched over a general
                  base},
  journal      = {J. Funct. Program.},
  volume       = {19},
  number       = {3-4},
  pages        = {265--286},
  year         = {2009},
  url          = {https://doi.org/10.1017/S0956796809007254},
  doi          = {10.1017/S0956796809007254},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/LackP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/reconfig/DunhamBSPGSP09,
  author       = {Mark E. Dunham and
                  Zachary K. Baker and
                  Matthew Stettler and
                  Michael Pigue and
                  Paul S. Graham and
                  Eric N. Schmierer and
                  John Power},
  editor       = {Viktor K. Prasanna and
                  Lionel Torres and
                  Ren{\'{e}} Cumplido},
  title        = {High Efficiency Space-Based Software Radio Architectures: {A} Minimum
                  Size, Weight, and Power TeraOps Processor},
  booktitle    = {ReConFig'09: 2009 International Conference on Reconfigurable Computing
                  and FPGAs, Cancun, Quintana Roo, Mexico, 9-11 December 2009, Proceedings},
  pages        = {326--331},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ReConFig.2009.42},
  doi          = {10.1109/RECONFIG.2009.42},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/reconfig/DunhamBSPGSP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cie/RubinoP08,
  author       = {Christian Rubino and
                  John Power},
  title        = {Level design optimization guidelines for game artists using the epic
                  games: Unreal editor and unreal engine 2},
  journal      = {Comput. Entertain.},
  volume       = {6},
  number       = {4},
  pages        = {55:1--55:36},
  year         = {2008},
  url          = {https://doi.org/10.1145/1461999.1462007},
  doi          = {10.1145/1461999.1462007},
  timestamp    = {Sun, 10 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cie/RubinoP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PowerT08,
  author       = {John Power and
                  Miki Tanaka},
  title        = {Category Theoretic Semantics for Typed Binding Signatures with Recursion},
  journal      = {Fundam. Informaticae},
  volume       = {84},
  number       = {2},
  pages        = {221--240},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi84-2-05},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PowerT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/KomendantskayaP08,
  author       = {Ekaterina Komendantskaya and
                  John Power},
  editor       = {Steffen H{\"{o}}lldobler and
                  Carsten Lutz and
                  Heinrich Wansing},
  title        = {Fibrational Semantics for Many-Valued Logic Programs: Grounds for
                  Non-Groundness},
  booktitle    = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
                  2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5293},
  pages        = {258--271},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87803-2\_22},
  doi          = {10.1007/978-3-540-87803-2\_22},
  timestamp    = {Tue, 29 Dec 2020 18:34:12 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/KomendantskayaP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PlotkinP08,
  author       = {Gordon D. Plotkin and
                  John Power},
  editor       = {Andrej Bauer and
                  Michael W. Mislove},
  title        = {Tensors of Comodels and Models for Operational Semantics},
  booktitle    = {Proceedings of the 24th Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
                  22-25, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {218},
  pages        = {295--311},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.10.018},
  doi          = {10.1016/J.ENTCS.2008.10.018},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PlotkinP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HylandLPP07,
  author       = {Martin Hyland and
                  Paul Blain Levy and
                  Gordon D. Plotkin and
                  John Power},
  title        = {Combining algebraic effects with continuations},
  journal      = {Theor. Comput. Sci.},
  volume       = {375},
  number       = {1-3},
  pages        = {20--40},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2006.12.026},
  doi          = {10.1016/J.TCS.2006.12.026},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HylandLPP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Power07,
  author       = {John Power},
  editor       = {Marcelo Fiore},
  title        = {Abstract Syntax: Substitution and Binders: Invited Address},
  booktitle    = {Proceedings of the 23rd Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2007, New Orleans, LA, USA, April
                  11-14, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {173},
  pages        = {3--16},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.024},
  doi          = {10.1016/J.ENTCS.2007.02.024},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Power07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HylandP07,
  author       = {Martin Hyland and
                  John Power},
  editor       = {Luca Cardelli and
                  Marcelo Fiore and
                  Glynn Winskel},
  title        = {The Category Theoretic Understanding of Universal Algebra: Lawvere
                  Theories and Monads},
  booktitle    = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {172},
  pages        = {437--458},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.02.019},
  doi          = {10.1016/J.ENTCS.2007.02.019},
  timestamp    = {Tue, 24 Jan 2023 11:36:28 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HylandP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KickPS06,
  author       = {Marco Kick and
                  John Power and
                  Alex Simpson},
  title        = {Coalgebraic semantics for timed processes},
  journal      = {Inf. Comput.},
  volume       = {204},
  number       = {4},
  pages        = {588--609},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.ic.2005.11.003},
  doi          = {10.1016/J.IC.2005.11.003},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/KickPS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/TanakaP06,
  author       = {Miki Tanaka and
                  John Power},
  title        = {Pseudo-distributive laws and axiomatics for variable binding},
  journal      = {High. Order Symb. Comput.},
  volume       = {19},
  number       = {2-3},
  pages        = {305--337},
  year         = {2006},
  url          = {https://doi.org/10.1007/s10990-006-8750-x},
  doi          = {10.1007/S10990-006-8750-X},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/TanakaP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/TanakaP06,
  author       = {Miki Tanaka and
                  John Power},
  title        = {A Unified Category-theoretic Semantics for Binding Signatures in Substructural
                  Logics},
  journal      = {J. Log. Comput.},
  volume       = {16},
  number       = {1},
  pages        = {5--25},
  year         = {2006},
  url          = {https://doi.org/10.1093/logcom/exi070},
  doi          = {10.1093/LOGCOM/EXI070},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/logcom/TanakaP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HylandPP06,
  author       = {Martin Hyland and
                  Gordon D. Plotkin and
                  John Power},
  title        = {Combining effects: Sum and tensor},
  journal      = {Theor. Comput. Sci.},
  volume       = {357},
  number       = {1-3},
  pages        = {70--99},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2006.03.013},
  doi          = {10.1016/J.TCS.2006.03.013},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HylandPP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Power06,
  author       = {John Power},
  title        = {Generic models for computational effects},
  journal      = {Theor. Comput. Sci.},
  volume       = {364},
  number       = {2},
  pages        = {254--269},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2006.08.006},
  doi          = {10.1016/J.TCS.2006.08.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Power06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HylandP06,
  author       = {Martin Hyland and
                  John Power},
  title        = {Discrete Lawvere theories and computational effects},
  journal      = {Theor. Comput. Sci.},
  volume       = {366},
  number       = {1-2},
  pages        = {144--162},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2006.07.007},
  doi          = {10.1016/J.TCS.2006.07.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HylandP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Power06,
  author       = {John Power},
  editor       = {Conor McBride and
                  Tarmo Uustalu},
  title        = {The Universal Algebra of Computational Effects: Lawvere Theories and
                  Monads},
  booktitle    = {Workshop on Mathematically Structured Functional Programming, MSFP@MPC
                  2006, Kuressaare, Estonia, July 2, 2006},
  series       = {Workshops in Computing},
  publisher    = {{BCS}},
  year         = {2006},
  url          = {http://ewic.bcs.org/content/ConWebDoc/5335},
  timestamp    = {Tue, 03 Jan 2017 16:54:22 +0100},
  biburl       = {https://dblp.org/rec/conf/mpc/Power06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GhaniP06,
  author       = {Neil Ghani and
                  John Power},
  editor       = {Neil Ghani and
                  John Power},
  title        = {Preface},
  booktitle    = {Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer
                  Science, {CMCS} 2006, Vienna, Austria, March 25-27, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {164},
  number       = {1},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.06.001},
  doi          = {10.1016/J.ENTCS.2006.06.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GhaniP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JohnsonNP09,
  author       = {Michael Johnson and
                  David A. Naumann and
                  John Power},
  editor       = {Anthony Karel Seda and
                  Menouer Boubekeur and
                  Ted Hurley and
                  M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
                  Michel P. Schellekens and
                  Glenn Strong},
  title        = {Category Theoretic Models of Data Refinement},
  booktitle    = {Proceedings of the Irish Conference on the Mathematical Foundations
                  of Computer Science and Information Technology, {MFCSIT} 2006, Cork,
                  Ireland, August 1-5, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {225},
  pages        = {21--38},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2008.12.064},
  doi          = {10.1016/J.ENTCS.2008.12.064},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/JohnsonNP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PowerT09,
  author       = {John Power and
                  Miki Tanaka},
  editor       = {Anthony Karel Seda and
                  Menouer Boubekeur and
                  Ted Hurley and
                  M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
                  Michel P. Schellekens and
                  Glenn Strong},
  title        = {Axiomatics for Data Refinement in Call by Value Programming Languages},
  booktitle    = {Proceedings of the Irish Conference on the Mathematical Foundations
                  of Computer Science and Information Technology, {MFCSIT} 2006, Cork,
                  Ireland, August 1-5, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {225},
  pages        = {281--302},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2008.12.081},
  doi          = {10.1016/J.ENTCS.2008.12.081},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PowerT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Power06,
  author       = {John Power},
  editor       = {Stephen D. Brookes and
                  Michael W. Mislove},
  title        = {Semantics for Local Computational Effects},
  booktitle    = {Proceedings of the 22nd Annual Conference on Mathematical Foundations
                  of Programming Semantics, {MFPS} 2006, Genova, Italy, May 23-27, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {158},
  pages        = {355--371},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.04.018},
  doi          = {10.1016/J.ENTCS.2006.04.018},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Power06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmcs/2006,
  editor       = {Neil Ghani and
                  John Power},
  title        = {Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer
                  Science, {CMCS} 2006, Vienna, Austria, March 25-27, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {164},
  number       = {1},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/164/issue/1},
  timestamp    = {Thu, 16 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmcs/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Power05,
  author       = {John Power},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Neil Harman and
                  Markus Roggenbach and
                  Jan J. M. M. Rutten},
  title        = {Discrete Lawvere Theories},
  booktitle    = {Algebra and Coalgebra in Computer Science: First International Conference,
                  {CALCO} 2005, Swansea, UK, September 3-6, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3629},
  pages        = {348--363},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11548133\_22},
  doi          = {10.1007/11548133\_22},
  timestamp    = {Wed, 19 May 2021 08:32:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/Power05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/TanakaP05,
  author       = {Miki Tanaka and
                  John Power},
  editor       = {Randy Pollack},
  title        = {A unified category-theoretic formulation of typed binding signatures},
  booktitle    = {{ACM} {SIGPLAN} International Conference on Functional Programming,
                  Workshop on Mechanized reasoning about languages with variable binding,
                  {MERLIN} 2005, Tallinn, Estonia, September 30, 2005},
  pages        = {13--24},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1088454.1088457},
  doi          = {10.1145/1088454.1088457},
  timestamp    = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/TanakaP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/PowerT05,
  author       = {John Power and
                  Miki Tanaka},
  editor       = {Pawel Urzyczyn},
  title        = {Binding Signatures for Generic Contexts},
  booktitle    = {Typed Lambda Calculi and Applications, 7th International Conference,
                  {TLCA} 2005, Nara, Japan, April 21-23, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3461},
  pages        = {308--323},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11417170\_23},
  doi          = {10.1007/11417170\_23},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/tlca/PowerT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DenneyPT06,
  author       = {Ewen Denney and
                  John Power and
                  Konstantinos Tourlas},
  editor       = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}} and
                  Achim Jung and
                  Michael W. Mislove},
  title        = {Hiproofs: {A} Hierarchical Notion of Proof Tree},
  booktitle    = {Proceedings of the 21st Annual Conference on Mathematical Foundations
                  of Programming Semantics, {MFPS} 2005, Birmingham, UK, May 18-21,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {155},
  pages        = {341--359},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.11.063},
  doi          = {10.1016/J.ENTCS.2005.11.063},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DenneyPT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LenisaPW04,
  author       = {Marina Lenisa and
                  John Power and
                  Hiroshi Watanabe},
  title        = {Category theory for operational semantics},
  journal      = {Theor. Comput. Sci.},
  volume       = {327},
  number       = {1-2},
  pages        = {135--154},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.07.024},
  doi          = {10.1016/J.TCS.2004.07.024},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LenisaPW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Power04,
  author       = {John Power},
  editor       = {Igor Walukiewicz},
  title        = {Canonical Models for Computational Effects},
  booktitle    = {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, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2987},
  pages        = {438--452},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24727-2\_31},
  doi          = {10.1007/978-3-540-24727-2\_31},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/Power04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HylandNPR06,
  author       = {Martin Hyland and
                  Misao Nagayama and
                  John Power and
                  Giuseppe Rosolini},
  editor       = {Anthony Karel Seda and
                  Ted Hurley and
                  Michel P. Schellekens and
                  M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
                  Glenn Strong},
  title        = {A Category Theoretic Formulation for Engeler-style Models of the Untyped
                  lambda},
  booktitle    = {Proceedings of the Third Irish Conference on the Mathematical Foundations
                  of Computer Science and Information Technology, {MFCSIT} 2004, Dublin,
                  Ireland, July 22-23, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {161},
  pages        = {43--57},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2006.04.024},
  doi          = {10.1016/J.ENTCS.2006.04.024},
  timestamp    = {Fri, 20 Jan 2023 12:30:04 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HylandNPR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Power06a,
  author       = {John Power},
  editor       = {Anthony Karel Seda and
                  Ted Hurley and
                  Michel P. Schellekens and
                  M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
                  Glenn Strong},
  title        = {Countable Lawvere Theories and Computational Effects},
  booktitle    = {Proceedings of the Third Irish Conference on the Mathematical Foundations
                  of Computer Science and Information Technology, {MFCSIT} 2004, Dublin,
                  Ireland, July 22-23, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {161},
  pages        = {59--71},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2006.04.025},
  doi          = {10.1016/J.ENTCS.2006.04.025},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Power06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KickP04,
  author       = {Marco Kick and
                  A. John Power},
  editor       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Stefan Milius},
  title        = {Modularity of Behaviours for Mathematical Operational Semantics},
  booktitle    = {Proceedings of the Workshop on Coalgebraic Methods in Computer Science,
                  {CMCS} 2004, Barcelona, Spain, March 27-29, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {106},
  pages        = {185--200},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.02.030},
  doi          = {10.1016/J.ENTCS.2004.02.030},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KickP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PowerS04,
  author       = {A. John Power and
                  Olha Shkaravska},
  editor       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Stefan Milius},
  title        = {From Comodels to Coalgebras: State and Arrays},
  booktitle    = {Proceedings of the Workshop on Coalgebraic Methods in Computer Science,
                  {CMCS} 2004, Barcelona, Spain, March 27-29, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {106},
  pages        = {297--314},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.02.041},
  doi          = {10.1016/J.ENTCS.2004.02.041},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PowerS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/PlotkinP03,
  author       = {Gordon D. Plotkin and
                  John Power},
  title        = {Algebraic Operations and Generic Effects},
  journal      = {Appl. Categorical Struct.},
  volume       = {11},
  number       = {1},
  pages        = {69--94},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1023064908962},
  doi          = {10.1023/A:1023064908962},
  timestamp    = {Tue, 29 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acs/PlotkinP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LevyPT03,
  author       = {Paul Blain Levy and
                  John Power and
                  Hayo Thielecke},
  title        = {Modelling environments in call-by-value programming languages},
  journal      = {Inf. Comput.},
  volume       = {185},
  number       = {2},
  pages        = {182--210},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(03)00088-9},
  doi          = {10.1016/S0890-5401(03)00088-9},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/LevyPT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GhaniLMP03,
  author       = {Neil Ghani and
                  Christoph L{\"{u}}th and
                  Federico De Marchi and
                  John Power},
  title        = {Dualising Initial Algebras},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {13},
  number       = {2},
  pages        = {349--370},
  year         = {2003},
  url          = {https://doi.org/10.1017/S0960129502003912},
  doi          = {10.1017/S0960129502003912},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/GhaniLMP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/PowerT03,
  author       = {John Power and
                  Konstantinos Tourlas},
  editor       = {Andrew D. Gordon},
  title        = {Abstraction in Reasoning about Higraph-Based Systems},
  booktitle    = {Foundations of Software Science and Computational Structures, 6th
                  International Conference, {FOSSACS} 2003 Held as Part of the Joint
                  European Conference on Theory and Practice of Software, {ETAPS} 2003,
                  Warsaw, Poland, April 7-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2620},
  pages        = {392--408},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36576-1\_25},
  doi          = {10.1007/3-540-36576-1\_25},
  timestamp    = {Mon, 14 Feb 2022 09:20:26 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/PowerT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Power03,
  author       = {John Power},
  title        = {A unified category theoretic approach to variable binding},
  booktitle    = {Eighth {ACM} {SIGPLAN} International Conference on Functional Programming,
                  Workshop on Mechanized reasoning about languages with variable binding,
                  {MERLIN} 2003, Uppsala, Sweden, August 2003},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/976571.976578},
  doi          = {10.1145/976571.976578},
  timestamp    = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Power03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/PlotkinP03,
  author       = {Gordon D. Plotkin and
                  John Power},
  editor       = {Joseph M. Morris and
                  Benjamin Aziz and
                  Fr{\'{e}}d{\'{e}}ric Oehl},
  title        = {Logic for Computational Effects: Work in Progress},
  booktitle    = {6th International Workshop on Formal Methods, {IWFM} 2003, Dublin
                  City University, Ireland, 11 July, 2003},
  series       = {Workshops in Computing},
  publisher    = {{BCS}},
  year         = {2003},
  url          = {http://ewic.bcs.org/content/ConWebDoc/4022},
  timestamp    = {Tue, 19 Jun 2018 08:05:11 +0200},
  biburl       = {https://dblp.org/rec/conf/iwfm/PlotkinP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/ChengHP03,
  author       = {Eugenia Cheng and
                  Martin Hyland and
                  John Power},
  editor       = {Stephen D. Brookes and
                  Prakash Panangaden},
  title        = {Pseudo-distributive Laws},
  booktitle    = {Proceedings of 19th Conference on the Mathematical Foundations of
                  Programming Semantics, {MFPS} 2003, Universit{\'{e}} de Montr{\'{e}}al,
                  QC, Canada, March 19-22, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {83},
  pages        = {227--245},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(03)50012-3},
  doi          = {10.1016/S1571-0661(03)50012-3},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfps/ChengHP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Power03,
  author       = {John Power},
  editor       = {Martin Hofmann},
  title        = {A Universal Embedding for the Higher Order Structure of Computational
                  Effects},
  booktitle    = {Typed Lambda Calculi and Applications, 6th International Conference,
                  {TLCA} 2003, Valencia, Spain, June 10-12, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2701},
  pages        = {301--315},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44904-3\_21},
  doi          = {10.1007/3-540-44904-3\_21},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/tlca/Power03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HylandP04,
  author       = {Martin Hyland and
                  John Power},
  editor       = {Thomas T. Hildebrandt and
                  Alexander Kurz and
                  Eric Goubault and
                  Ulrich Fahrenberg},
  title        = {Symmetric Monoidal Sketches and Categories of Wirings},
  booktitle    = {Combined Proceedings of the Second Workshop on Categorical Methods
                  for Concurrency, Interaction, and Mobility, {CMCIM} 2003, and the
                  Fifth Workshop on Geometric and Topological Methods in Concurrency,
                  {GETCO} 2003, Satellite Events of {CONCUR} 2003, Marseille, France,
                  September 6, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {100},
  pages        = {31--46},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.09.004},
  doi          = {10.1016/J.ENTCS.2004.09.004},
  timestamp    = {Thu, 08 Dec 2022 22:54:04 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HylandP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Power03,
  author       = {John Power},
  editor       = {H. Peter Gumm},
  title        = {Towards a theory of mathematical operational semantics},
  booktitle    = {6th International Workshop on Coalgebraic Methods in Computer Science,
                  {CMCS} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April
                  5-6, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {82},
  number       = {1},
  pages        = {257--272},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)80643-1},
  doi          = {10.1016/S1571-0661(04)80643-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Power03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Power02,
  author       = {John Power},
  title        = {Premonoidal categories as categories with algebraic structure},
  journal      = {Theor. Comput. Sci.},
  volume       = {278},
  number       = {1-2},
  pages        = {303--321},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(00)00340-6},
  doi          = {10.1016/S0304-3975(00)00340-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Power02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PowerR02,
  author       = {John Power and
                  Giuseppe Rosolini},
  title        = {Fixpoint operators for domain equations},
  journal      = {Theor. Comput. Sci.},
  volume       = {278},
  number       = {1-2},
  pages        = {323--333},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(00)00341-8},
  doi          = {10.1016/S0304-3975(00)00341-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PowerR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PowerW02,
  author       = {John Power and
                  Hiroshi Watanabe},
  title        = {Combining a monad and a comonad},
  journal      = {Theor. Comput. Sci.},
  volume       = {280},
  number       = {1-2},
  pages        = {137--162},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00024-X},
  doi          = {10.1016/S0304-3975(01)00024-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PowerW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/PlotkinP02,
  author       = {Gordon D. Plotkin and
                  John Power},
  editor       = {Mogens Nielsen and
                  Uffe Engberg},
  title        = {Notions of Computation Determine Monads},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {2303},
  pages        = {342--356},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45931-6\_24},
  doi          = {10.1007/3-540-45931-6\_24},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/PlotkinP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/HylandPP02,
  author       = {Martin Hyland and
                  Gordon D. Plotkin and
                  John Power},
  editor       = {Ricardo A. Baeza{-}Yates and
                  Ugo Montanari and
                  Nicola Santoro},
  title        = {Combining Computational Effects: commutativity {\&} sum},
  booktitle    = {Foundations of Information Technology in the Era of Networking and
                  Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress
                  - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference
                  on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002,
                  Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
  series       = {{IFIP} Conference Proceedings},
  volume       = {223},
  pages        = {474--484},
  publisher    = {Kluwer},
  year         = {2002},
  url          = {https://doi.org/10.1007/978-0-387-35608-2\_39},
  doi          = {10.1007/978-0-387-35608-2\_39},
  timestamp    = {Fri, 27 Sep 2019 10:35:17 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/HylandPP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/LuWPDTM02,
  author       = {Zhong Lu and
                  Charles Wicks Jr. and
                  John Power and
                  Daniel Dzurisin and
                  Wayne Thatcher and
                  Timothy Masterlark},
  title        = {Interferometric synthetic aperture radar studies of Alaska volcanoes},
  booktitle    = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS}
                  2002, Toronto, Ontario, Canada, 24-28 June 2002},
  pages        = {191--194},
  publisher    = {{IEEE}},
  year         = {2002},
  url          = {https://doi.org/10.1109/IGARSS.2002.1024984},
  doi          = {10.1109/IGARSS.2002.1024984},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/igarss/LuWPDTM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PowerT03,
  author       = {John Power and
                  Konstantinos Tourlas},
  editor       = {Paolo Bottoni and
                  Mark Minas},
  title        = {On the Geometric Modelling of Visual Languages},
  booktitle    = {International Workshop on Graph Transformation and Visual Modeling
                  Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {72},
  number       = {3},
  pages        = {1--12},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80607-8},
  doi          = {10.1016/S1571-0661(04)80607-8},
  timestamp    = {Tue, 13 Dec 2022 10:53:16 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PowerT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PlotkinP04,
  author       = {Gordon D. Plotkin and
                  A. John Power},
  editor       = {Mart{\'{\i}}n Escard{\'{o}} and
                  Achim Jung},
  title        = {Computational Effects and Operations: An Overview},
  booktitle    = {Proceedings of the Workshop on Domains {VI} 2002, Birmingham, UK,
                  September 16-19, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {73},
  pages        = {149--163},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/j.entcs.2004.08.008},
  doi          = {10.1016/J.ENTCS.2004.08.008},
  timestamp    = {Wed, 07 Dec 2022 08:43:52 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PlotkinP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndersonPT02,
  author       = {Stuart Anderson and
                  John Power and
                  Konstantinos Tourlas},
  editor       = {James Harland},
  title        = {Zooming-out on Higraph-based diagrams - Syntactic and Semantic Issues},
  booktitle    = {Computing: the Australasian Theory Symposium, {CATS} 2002, Melbourne,
                  Australia},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {61},
  pages        = {201--211},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)00314-7},
  doi          = {10.1016/S1571-0661(04)00314-7},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/AndersonPT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JohnstonePTWW01,
  author       = {Peter T. Johnstone and
                  John Power and
                  Toru Tsujishita and
                  Hiroshi Watanabe and
                  James Worrell},
  title        = {On the structure of categories of coalgebras},
  journal      = {Theor. Comput. Sci.},
  volume       = {260},
  number       = {1-2},
  pages        = {87--117},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00124-9},
  doi          = {10.1016/S0304-3975(00)00124-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/JohnstonePTWW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/PowerT01,
  author       = {John Power and
                  Konstantinos Tourlas},
  editor       = {Laurent Fribourg},
  title        = {An Algebraic Foundation for Higraphs},
  booktitle    = {Computer Science Logic, 15th International Workshop, {CSL} 2001. 10th
                  Annual Conference of the EACSL, Paris, France, September 10-13, 2001,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2142},
  pages        = {145--159},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44802-0\_11},
  doi          = {10.1007/3-540-44802-0\_11},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/PowerT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/PlotkinP01,
  author       = {Gordon D. Plotkin and
                  John Power},
  editor       = {Furio Honsell and
                  Marino Miculan},
  title        = {Adequacy for Algebraic Effects},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {2030},
  pages        = {1--24},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45315-6\_1},
  doi          = {10.1007/3-540-45315-6\_1},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/PlotkinP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/AndersonPT01,
  author       = {Stuart Anderson and
                  John Power and
                  Konstantinos Tourlas},
  title        = {Reasoning in Higraphs with Loose Edges},
  booktitle    = {2002 {IEEE} {CS} International Symposium on Human-Centric Computing
                  Languages and Environments {(HCC} 2001), September 5-7, 2001 Stresa,
                  Italy},
  pages        = {23--29},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HCC.2001.995229},
  doi          = {10.1109/HCC.2001.995229},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vl/AndersonPT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GhaniLMP01,
  author       = {Neil Ghani and
                  Christoph L{\"{u}}th and
                  Federico De Marchi and
                  John Power},
  editor       = {Andrea Corradini and
                  Marina Lenisa and
                  Ugo Montanari},
  title        = {Algebras, Coalgebras, Monads and Comonads},
  booktitle    = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
                  Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {44},
  number       = {1},
  pages        = {128--145},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80905-8},
  doi          = {10.1016/S1571-0661(04)80905-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GhaniLMP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HylandP01,
  author       = {Martin Hyland and
                  John Power},
  editor       = {Stephen D. Brookes and
                  Michael W. Mislove},
  title        = {Pseudo-commutative Monads},
  booktitle    = {Seventeenth Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2001, Aarhus, Denmark, May 23-26, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {45},
  pages        = {197--208},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80963-0},
  doi          = {10.1016/S1571-0661(04)80963-0},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HylandP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HylandP01a,
  author       = {Martin Hyland and
                  John Power},
  editor       = {Andrea Corradini and
                  Marina Lenisa and
                  Ugo Montanari},
  title        = {Two-dimensional linear algebra},
  booktitle    = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
                  Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {44},
  number       = {1},
  pages        = {227--240},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80910-1},
  doi          = {10.1016/S1571-0661(04)80910-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HylandP01a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PlotkinP01,
  author       = {Gordon D. Plotkin and
                  John Power},
  editor       = {Stephen D. Brookes and
                  Michael W. Mislove},
  title        = {Semantics for Algebraic Operations},
  booktitle    = {Seventeenth Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2001, Aarhus, Denmark, May 23-26, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {45},
  pages        = {332--345},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80970-8},
  doi          = {10.1016/S1571-0661(04)80970-8},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PlotkinP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PowerT01,
  author       = {John Power and
                  Konstantinos Tourlas},
  editor       = {Stephen D. Brookes and
                  Michael W. Mislove},
  title        = {An Algebraic Foundation for Graph-based Diagrams in Computing},
  booktitle    = {Seventeenth Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2001, Aarhus, Denmark, May 23-26, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {45},
  pages        = {346--357},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80971-X},
  doi          = {10.1016/S1571-0661(04)80971-X},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PowerT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/KinoshitaP00,
  author       = {Yoshiki Kinoshita and
                  John Power},
  title        = {Data Refinement and Algebraic Structure},
  journal      = {Acta Informatica},
  volume       = {36},
  number       = {9/10},
  pages        = {693--719},
  year         = {2000},
  url          = {https://doi.org/10.1007/s002360050171},
  doi          = {10.1007/S002360050171},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/KinoshitaP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/PowerR00,
  author       = {John Power and
                  Edmund Robinson},
  editor       = {Peter Clote and
                  Helmut Schwichtenberg},
  title        = {Logical Relations and Data Abstraction},
  booktitle    = {Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau,
                  Germany, August 21-26, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1862},
  pages        = {497--511},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44622-2\_34},
  doi          = {10.1007/3-540-44622-2\_34},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/PowerR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PlotkinPST00,
  author       = {Gordon D. Plotkin and
                  John Power and
                  Donald Sannella and
                  Robert D. Tennent},
  editor       = {Ugo Montanari and
                  Jos{\'{e}} D. P. Rolim and
                  Emo Welzl},
  title        = {Lax Logical Relations},
  booktitle    = {Automata, Languages and Programming, 27th International Colloquium,
                  {ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1853},
  pages        = {85--102},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45022-X\_9},
  doi          = {10.1007/3-540-45022-X\_9},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/PlotkinPST00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/PowerR00,
  author       = {John Power and
                  Edmund Robinson},
  editor       = {Maurizio Gabbrielli and
                  Frank Pfenning},
  title        = {Logical relations, data abstraction, and structured fibrations},
  booktitle    = {Proceedings of the 2nd international {ACM} {SIGPLAN} conference on
                  on Principles and practice of declarative programming, Montreal, Canada,
                  September 20-23, 2000},
  pages        = {15--23},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/351268.351271},
  doi          = {10.1145/351268.351271},
  timestamp    = {Tue, 27 Nov 2018 15:37:24 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/PowerR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/HylandP00,
  author       = {Martin Hyland and
                  John Power},
  editor       = {Maurizio Gabbrielli and
                  Frank Pfenning},
  title        = {Symmetric monoidal sketches},
  booktitle    = {Proceedings of the 2nd international {ACM} {SIGPLAN} conference on
                  on Principles and practice of declarative programming, Montreal, Canada,
                  September 20-23, 2000},
  pages        = {280--288},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/351268.351299},
  doi          = {10.1145/351268.351299},
  timestamp    = {Tue, 27 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/HylandP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LenisaPW00,
  author       = {Marina Lenisa and
                  John Power and
                  Hiroshi Watanabe},
  editor       = {Horst Reichel},
  title        = {Distributivity for endofunctors, pointed and co-pointed endofunctors,
                  monads and comonads},
  booktitle    = {Coalgebraic Methods in Computer Science, {CMCS} 2000, Berlin, Germany,
                  March 25-26, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {33},
  pages        = {230--260},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80350-0},
  doi          = {10.1016/S1571-0661(05)80350-0},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LenisaPW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Power00,
  author       = {John Power},
  editor       = {Ted Hurley and
                  M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
                  Michel P. Schellekens and
                  Anthony Karel Seda},
  title        = {Models for the computational lambda-calculus},
  booktitle    = {First Irish Conference on the Mathematical Foundations of Computer
                  Science and Information Technology, {MFCSIT} 2000, Cork, Ireland,
                  July 20-21, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {40},
  pages        = {288--301},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80056-8},
  doi          = {10.1016/S1571-0661(05)80056-8},
  timestamp    = {Wed, 30 Nov 2022 10:58:03 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Power00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Freyd99a,
  author       = {Peter J. Freyd and
                  Peter W. O'Hearn and
                  A. John Power and
                  Makoto Takeyama and
                  R. Street and
                  Robert D. Tennent},
  title        = {Bireflectivity},
  journal      = {Theor. Comput. Sci.},
  volume       = {228},
  number       = {1-2},
  pages        = {49--76},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00354-5},
  doi          = {10.1016/S0304-3975(98)00354-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Freyd99a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/OHearnPTT99,
  author       = {Peter W. O'Hearn and
                  John Power and
                  Makoto Takeyama and
                  Robert D. Tennent},
  title        = {Syntactic Control of Interference Revisited},
  journal      = {Theor. Comput. Sci.},
  volume       = {228},
  number       = {1-2},
  pages        = {211--252},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00359-4},
  doi          = {10.1016/S0304-3975(98)00359-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/OHearnPTT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KinoshitaP99,
  author       = {Yoshiki Kinoshita and
                  John Power},
  editor       = {J{\"{o}}rg Flum and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Data-Refinement for Call-By-Value Programming Languages},
  booktitle    = {Computer Science Logic, 13th International Workshop, {CSL} '99, 8th
                  Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1683},
  pages        = {562--576},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48168-0\_39},
  doi          = {10.1007/3-540-48168-0\_39},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/KinoshitaP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PowerT99,
  author       = {John Power and
                  Hayo Thielecke},
  editor       = {Jir{\'{\i}} Wiedermann and
                  Peter van Emde Boas and
                  Mogens Nielsen},
  title        = {Closed Freyd- and kappa-categories},
  booktitle    = {Automata, Languages and Programming, 26th International Colloquium,
                  ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1644},
  pages        = {625--634},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48523-6\_59},
  doi          = {10.1007/3-540-48523-6\_59},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/PowerT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/KinoshitaP99,
  author       = {Yoshiki Kinoshita and
                  John Power},
  editor       = {Didier Bert and
                  Christine Choppy and
                  Peter D. Mosses},
  title        = {A General Completeness Result in Refinement},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 14th International
                  Workshop, {WADT} '99, Ch{\^{a}}teau de Bonas, France, September 15-18,
                  1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1827},
  pages        = {201--218},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-44616-3\_12},
  doi          = {10.1007/978-3-540-44616-3\_12},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/KinoshitaP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PowerW99,
  author       = {John Power and
                  Hiroshi Watanabe},
  editor       = {Bart Jacobs and
                  Jan J. M. M. Rutten},
  title        = {Distributivity for a monad and a comonad},
  booktitle    = {Coalgebraic Methods in Computer Science, {CMCS} 1999, Amsterdam, The
                  Netherlands, March 20-21, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {19},
  pages        = {102},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80271-3},
  doi          = {10.1016/S1571-0661(05)80271-3},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PowerW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PowerR99,
  author       = {John Power and
                  Edmund Robinson},
  editor       = {Stephen D. Brookes and
                  Achim Jung and
                  Michael W. Mislove and
                  Andre Scedrov},
  title        = {Modularity and Dyads},
  booktitle    = {Fifteenth Conference on Mathematical Foundations of Progamming Semantics,
                  {MFPS} 1999, Tulane University, New Orleans, LA, USA, April 28 - May
                  1, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {20},
  pages        = {467--480},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)80089-6},
  doi          = {10.1016/S1571-0661(04)80089-6},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PowerR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/PowerT99,
  author       = {John Power and
                  Daniele Turi},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {A Coalgebraic Foundation for Linear Time Semantics},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {259--274},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80319-6},
  doi          = {10.1016/S1571-0661(05)80319-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PowerT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CattaniPW98,
  author       = {Gian Luca Cattani and
                  John Power and
                  Glynn Winskel},
  editor       = {Davide Sangiorgi and
                  Robert de Simone},
  title        = {A Categorical Axiomatics for Bisimulation},
  booktitle    = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
                  France, September 8-11, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1466},
  pages        = {581--596},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055649},
  doi          = {10.1007/BFB0055649},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/CattaniPW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PowerR98,
  author       = {John Power and
                  Giuseppe Rosolini},
  editor       = {Kim Guldstrand Larsen and
                  Sven Skyum and
                  Glynn Winskel},
  title        = {A Modular Approach to Denotational Semantics},
  booktitle    = {Automata, Languages and Programming, 25th International Colloquium,
                  ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1443},
  pages        = {351--362},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055066},
  doi          = {10.1007/BFB0055066},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/PowerR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HermidaMP98,
  author       = {Claudio Hermida and
                  Michael Makkai and
                  John Power},
  title        = {Higher Dimensional Multigraphs},
  booktitle    = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
                  Indiana, USA, June 21-24, 1998},
  pages        = {199--206},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/LICS.1998.705656},
  doi          = {10.1109/LICS.1998.705656},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/HermidaMP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JohnstonePTWW98,
  author       = {Peter T. Johnstone and
                  John Power and
                  Toru Tsujishita and
                  Hiroshi Watanabe and
                  James Worrell},
  title        = {An Axiomatics for Categories of Transition Systems as Coalgebras},
  booktitle    = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
                  Indiana, USA, June 21-24, 1998},
  pages        = {207--213},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/LICS.1998.705657},
  doi          = {10.1109/LICS.1998.705657},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/JohnstonePTWW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PowerW98,
  author       = {John Power and
                  Hiroshi Watanabe},
  editor       = {Bart Jacobs and
                  Larry Moss and
                  Horst Reichel and
                  Jan J. M. M. Rutten},
  title        = {An axiomatics for categories of coalgebras},
  booktitle    = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS}
                  1998, Lisbon, Portugal, March 28-29, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {11},
  pages        = {158--175},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00057-X},
  doi          = {10.1016/S1571-0661(04)00057-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PowerW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PowerR97,
  author       = {John Power and
                  Edmund Robinson},
  title        = {Premonoidal Categories and Notions of Computation},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {7},
  number       = {5},
  pages        = {453--468},
  year         = {1997},
  url          = {https://doi.org/10.1017/S0960129597002375},
  doi          = {10.1017/S0960129597002375},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/PowerR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AndersonP97,
  author       = {Stuart Oliver Anderson and
                  John Power},
  title        = {A Representable Approach to Finite Nondeterminism},
  journal      = {Theor. Comput. Sci.},
  volume       = {177},
  number       = {1},
  pages        = {3--25},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00232-0},
  doi          = {10.1016/S0304-3975(96)00232-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AndersonP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Power97,
  author       = {A. John Power},
  editor       = {Mogens Nielsen and
                  Wolfgang Thomas},
  title        = {Categories with Algebraic Structure},
  booktitle    = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
                  Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1414},
  pages        = {389--405},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0028027},
  doi          = {10.1007/BFB0028027},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Power97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FiorePP97,
  author       = {Marcelo P. Fiore and
                  Gordon D. Plotkin and
                  A. John Power},
  title        = {Complete Cuboidal Sets in Axiomatic Domain Theory},
  booktitle    = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science,
                  Warsaw, Poland, June 29 - July 2, 1997},
  pages        = {268--278},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/LICS.1997.614954},
  doi          = {10.1109/LICS.1997.614954},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/FiorePP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/KinoshitaOPTT97,
  author       = {Yoshiki Kinoshita and
                  Peter W. O'Hearn and
                  John Power and
                  Makoto Takeyama and
                  Robert D. Tennent},
  editor       = {Mart{\'{\i}}n Abadi and
                  Takayasu Ito},
  title        = {An Axiomatic Approach to Binary Logical Relations with Applications
                  to Data Refinement},
  booktitle    = {Theoretical Aspects of Computer Software, Third International Symposium,
                  {TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1281},
  pages        = {191--212},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0014552},
  doi          = {10.1007/BFB0014552},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/tacs/KinoshitaOPTT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/PowerT97,
  author       = {John Power and
                  Hayo Thielecke},
  editor       = {Mart{\'{\i}}n Abadi and
                  Takayasu Ito},
  title        = {Environments, Continuation Semantics and Indexed Categories},
  booktitle    = {Theoretical Aspects of Computer Software, Third International Symposium,
                  {TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1281},
  pages        = {391--414},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0014560},
  doi          = {10.1007/BFB0014560},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacs/PowerT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KinoshitaPT97,
  author       = {Yoshiki Kinoshita and
                  John Power and
                  Makoto Takeyama},
  editor       = {Stephen D. Brookes and
                  Michael W. Mislove},
  title        = {Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday},
  booktitle    = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
                  Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
                  USA, March 23-26, 1997},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {6},
  pages        = {235--248},
  publisher    = {Elsevier},
  year         = {1997},
  url          = {https://doi.org/10.1016/S1571-0661(05)80158-6},
  doi          = {10.1016/S1571-0661(05)80158-6},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/KinoshitaPT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Power97,
  author       = {John Power},
  editor       = {Stephen D. Brookes and
                  Michael W. Mislove},
  title        = {Modularity in denotational semantics},
  booktitle    = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
                  Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
                  USA, March 23-26, 1997},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {6},
  pages        = {293--307},
  publisher    = {Elsevier},
  year         = {1997},
  url          = {https://doi.org/10.1016/S1571-0661(05)80153-7},
  doi          = {10.1016/S1571-0661(05)80153-7},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Power97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Power96,
  author       = {John Power},
  editor       = {Ugo Montanari and
                  Vladimiro Sassone},
  title        = {Elementary Control Structures},
  booktitle    = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
                  Italy, August 26-29, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1119},
  pages        = {115--130},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61604-7\_51},
  doi          = {10.1007/3-540-61604-7\_51},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/Power96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/KinoshitaP96,
  author       = {Yoshiki Kinoshita and
                  A. John Power},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {A Fibrational Semantics for Logic Programs},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {177--191},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_12},
  doi          = {10.1007/3-540-60983-0\_12},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/KinoshitaP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Power95,
  author       = {A. John Power},
  title        = {Why Tricategories?},
  journal      = {Inf. Comput.},
  volume       = {120},
  number       = {2},
  pages        = {251--262},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1112},
  doi          = {10.1006/INCO.1995.1112},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Power95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HermidaP95,
  author       = {Claudio Hermida and
                  John Power},
  editor       = {Insup Lee and
                  Scott A. Smolka},
  title        = {Fibrational Control Structures},
  booktitle    = {{CONCUR} '95: Concurrency Theory, 6th International Conference, Philadelphia,
                  PA, USA, August 21-24, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {962},
  pages        = {117--129},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60218-6\_9},
  doi          = {10.1007/3-540-60218-6\_9},
  timestamp    = {Thu, 26 Jan 2023 14:05:52 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/HermidaP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MifsudMP95,
  author       = {Alex Mifsud and
                  Robin Milner and
                  A. John Power},
  title        = {Control Structures},
  booktitle    = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
                  San Diego, California, USA, June 26-29, 1995},
  pages        = {188--198},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/LICS.1995.523256},
  doi          = {10.1109/LICS.1995.523256},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/MifsudMP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FreydOPTT95,
  author       = {Peter J. Freyd and
                  Peter W. O'Hearn and
                  John Power and
                  Robert D. Tennent and
                  Makoto Takeyama},
  editor       = {Stephen D. Brookes and
                  Michael G. Main and
                  Austin Melton and
                  Michael W. Mislove},
  title        = {Bireflectivity},
  booktitle    = {Eleventh Annual Conference on Mathematical Foundations of Programming
                  Semantics, {MFPS} 1995, Tulane University, New Orleans, LA, USA, March
                  29 - April 1, 1995},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {1},
  pages        = {199--213},
  publisher    = {Elsevier},
  year         = {1995},
  url          = {https://doi.org/10.1016/S1571-0661(04)80011-2},
  doi          = {10.1016/S1571-0661(04)80011-2},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FreydOPTT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OHearnPTT95,
  author       = {Peter W. O'Hearn and
                  John Power and
                  Robert D. Tennent and
                  Makoto Takeyama},
  editor       = {Stephen D. Brookes and
                  Michael G. Main and
                  Austin Melton and
                  Michael W. Mislove},
  title        = {Syntactic control of interference revisited},
  booktitle    = {Eleventh Annual Conference on Mathematical Foundations of Programming
                  Semantics, {MFPS} 1995, Tulane University, New Orleans, LA, USA, March
                  29 - April 1, 1995},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {1},
  pages        = {447--486},
  publisher    = {Elsevier},
  year         = {1995},
  url          = {https://doi.org/10.1016/S1571-0661(04)00026-X},
  doi          = {10.1016/S1571-0661(04)00026-X},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/OHearnPTT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PowerW92,
  author       = {A. John Power and
                  Charles Wells},
  title        = {A Formalism for the Specification of Essentially Algebraic Structures
                  in 2-Categories},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {2},
  number       = {1},
  pages        = {1--28},
  year         = {1992},
  url          = {https://doi.org/10.1017/S0960129500001110},
  doi          = {10.1017/S0960129500001110},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/PowerW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PowerS90,
  author       = {A. John Power and
                  Leon Sterling},
  editor       = {David H. D. Warren and
                  P{\'{e}}ter Szeredi},
  title        = {A Notion of Map between Logic Programs},
  booktitle    = {Logic Programming, Proceedings of the Seventh International Conference,
                  Jerusalem, Israel, June 18-20, 1990},
  pages        = {390--404},
  publisher    = {{MIT} Press},
  year         = {1990},
  timestamp    = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/PowerS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Power89,
  author       = {A. John Power},
  editor       = {David H. Pitt and
                  David E. Rydeheard and
                  Peter Dybjer and
                  Andrew M. Pitts and
                  Axel Poign{\'{e}}},
  title        = {An Abstract Formulation for Rewrite Systems},
  booktitle    = {Category Theory and Computer Science, Manchester, UK, September 5-8,
                  1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {389},
  pages        = {300--312},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0018358},
  doi          = {10.1007/BFB0018358},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/ctcs/Power89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Power89,
  author       = {A. John Power},
  editor       = {Michael G. Main and
                  Austin Melton and
                  Michael W. Mislove and
                  David A. Schmidt},
  title        = {An Algebraic Formulation for Data Refinement},
  booktitle    = {Mathematical Foundations of Programming Semantics, 5th International
                  Conference, Tulane University, New Orleans, Louisiana, USA, March
                  29 - April 1, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {442},
  pages        = {390--401},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0040270},
  doi          = {10.1007/BFB0040270},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/mfps/Power89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics