Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: John Power
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.