Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Guy McCusker
@inproceedings{DBLP:conf/csl/BarrettHM23,
author = {Chris Barrett and
Willem Heijltjes and
Guy McCusker},
editor = {Bartek Klin and
Elaine Pimentel},
title = {The Functional Machine Calculus {II:} Semantics},
booktitle = {31st {EACSL} Annual Conference on Computer Science Logic, {CSL} 2023,
February 13-16, 2023, Warsaw, Poland},
series = {LIPIcs},
volume = {252},
pages = {10:1--10:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CSL.2023.10},
doi = {10.4230/LIPICS.CSL.2023.10},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/BarrettHM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HasegawaLM22,
author = {Masahito Hasegawa and
Stephen Lack and
Guy McCusker},
title = {A special issue on categorical algebras and computation in celebration
of John Power's 60th birthday, part {II}},
journal = {Math. Struct. Comput. Sci.},
volume = {32},
number = {4},
pages = {348},
year = {2022},
url = {https://doi.org/10.1017/S0960129522000391},
doi = {10.1017/S0960129522000391},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HasegawaLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-13140,
author = {Chris Barrett and
Willem Heijltjes and
Guy McCusker},
title = {The Functional Machine Calculus {II:} Semantics},
journal = {CoRR},
volume = {abs/2211.13140},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.13140},
doi = {10.48550/ARXIV.2211.13140},
eprinttype = {arXiv},
eprint = {2211.13140},
timestamp = {Tue, 29 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-13140.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HasegawaLM21,
author = {Masahito Hasegawa and
Stephen Lack and
Guy McCusker},
title = {A special issue on categorical algebras and computation in celebration
of John Power's 60th birthday, part {I}},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {7},
pages = {746--747},
year = {2021},
url = {https://doi.org/10.1017/S0960129522000056},
doi = {10.1017/S0960129522000056},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HasegawaLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/BaskentM20,
author = {Can Baskent and
Guy McCusker},
title = {A History Based Logic for Dynamic Preference Updates},
journal = {J. Log. Lang. Inf.},
volume = {29},
number = {3},
pages = {275--305},
year = {2020},
url = {https://doi.org/10.1007/s10849-019-09307-1},
doi = {10.1007/S10849-019-09307-1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/BaskentM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/McCuskerS18,
author = {Guy McCusker and
Alessio Santamaria},
editor = {Dan R. Ghica and
Achim Jung},
title = {On Compositionality of Dinatural Transformations},
booktitle = {27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018,
September 4-7, 2018, Birmingham, {UK}},
series = {LIPIcs},
volume = {119},
pages = {33:1--33:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CSL.2018.33},
doi = {10.4230/LIPICS.CSL.2018.33},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/McCuskerS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HylandMT17,
author = {Martin Hyland and
Guy McCusker and
Nikos Tzevelekos},
title = {Foreword for special issue of {APAL} for GaLoP 2013},
journal = {Ann. Pure Appl. Log.},
volume = {168},
number = {2},
pages = {233},
year = {2017},
url = {https://doi.org/10.1016/j.apal.2016.10.004},
doi = {10.1016/J.APAL.2016.10.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/HylandMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gamesec/AndersonMP16,
author = {Gabrielle Anderson and
Guy McCusker and
David J. Pym},
editor = {Quanyan Zhu and
Tansu Alpcan and
Emmanouil A. Panaousis and
Milind Tambe and
William Casey},
title = {A Logic for the Compliance Budget},
booktitle = {Decision and Game Theory for Security - 7th International Conference,
GameSec 2016, New York, NY, USA, November 2-4, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9996},
pages = {370--381},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47413-7\_21},
doi = {10.1007/978-3-319-47413-7\_21},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gamesec/AndersonMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/McCusker14,
author = {Guy McCusker},
title = {Report on {BCTCS} 2013},
journal = {Bull. {EATCS}},
volume = {113},
year = {2014},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/273},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/McCusker14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ChurchillLM13,
author = {Martin Churchill and
Jim Laird and
Guy McCusker},
title = {Imperative programs as proofs via game semantics},
journal = {Ann. Pure Appl. Log.},
volume = {164},
number = {11},
pages = {1038--1078},
year = {2013},
url = {https://doi.org/10.1016/j.apal.2013.05.005},
doi = {10.1016/J.APAL.2013.05.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/ChurchillLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LairdMM13,
author = {Jim Laird and
Giulio Manzonetto and
Guy McCusker},
title = {Constructing differential categories and deconstructing categories
of games},
journal = {Inf. Comput.},
volume = {222},
pages = {247--264},
year = {2013},
url = {https://doi.org/10.1016/j.ic.2012.10.015},
doi = {10.1016/J.IC.2012.10.015},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LairdMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LairdMMP13,
author = {Jim Laird and
Giulio Manzonetto and
Guy McCusker and
Michele Pagani},
title = {Weighted Relational Models of Typed Lambda-Calculi},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {301--310},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.36},
doi = {10.1109/LICS.2013.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/LairdMMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChurchillLM13,
author = {Martin Churchill and
Jim Laird and
Guy McCusker},
title = {Imperative Programs as Proofs via Game Semantics},
journal = {CoRR},
volume = {abs/1307.2004},
year = {2013},
url = {http://arxiv.org/abs/1307.2004},
eprinttype = {arXiv},
eprint = {1307.2004},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChurchillLM13.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}
}
@inproceedings{DBLP:conf/icalp/LairdMM11,
author = {Jim Laird and
Giulio Manzonetto and
Guy McCusker},
editor = {Luca Aceto and
Monika Henzinger and
Jir{\'{\i}} Sgall},
title = {Constructing Differential Categories and Deconstructing Categories
of Games},
booktitle = {Automata, Languages and Programming - 38th International Colloquium,
{ICALP} 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6756},
pages = {186--197},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22012-8\_14},
doi = {10.1007/978-3-642-22012-8\_14},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LairdMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ChurchillLM11,
author = {Martin Churchill and
James Laird and
Guy McCusker},
title = {Imperative Programs as Proofs via Game Semantics},
booktitle = {Proceedings of the 26th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2011, June 21-24, 2011, Toronto, Ontario, Canada},
pages = {65--74},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LICS.2011.19},
doi = {10.1109/LICS.2011.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/ChurchillLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0910-5399,
author = {Guy McCusker},
title = {A Graph Model for Imperative Computation},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {1},
year = {2010},
url = {http://arxiv.org/abs/0910.5399},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0910-5399.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/CalderonM10,
author = {Ana C. Calderon and
Guy McCusker},
editor = {Michael W. Mislove and
Peter Selinger},
title = {Understanding Game Semantics Through Coherence 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 = {231--244},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.08.014},
doi = {10.1016/J.ENTCS.2010.08.014},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CalderonM10.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/corr/abs-1003-0107,
author = {Martin Churchill and
James Laird and
Guy McCusker},
title = {A Concrete Representation of Observational Equivalence for {PCF}},
journal = {CoRR},
volume = {abs/1003.0107},
year = {2010},
url = {http://arxiv.org/abs/1003.0107},
eprinttype = {arXiv},
eprint = {1003.0107},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-0107.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/McCuskerG08,
author = {Guy McCusker and
Dan R. Ghica},
title = {Foreword for special issue of {APAL} for GaLoP 2005},
journal = {Ann. Pure Appl. Log.},
volume = {151},
number = {2-3},
pages = {69},
year = {2008},
url = {https://doi.org/10.1016/j.apal.2007.10.003},
doi = {10.1016/J.APAL.2007.10.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/McCuskerG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmsjcm/McCusker07,
author = {Guy McCusker},
title = {Categorical Models of Syntactic Control of Intereference Revisited,
Revisited},
journal = {{LMS} J. Comput. Math.},
volume = {10},
pages = {176--206},
year = {2007},
url = {https://doi.org/10.1112/s1461157000001364},
doi = {10.1112/S1461157000001364},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmsjcm/McCusker07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/McCuskerP07,
author = {Guy McCusker and
David J. Pym},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {A Games Model of Bunched Implications},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {573--588},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_42},
doi = {10.1007/978-3-540-74915-8\_42},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/McCuskerP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/galop/McCuskerW05,
author = {Guy McCusker and
Matthew Wall},
editor = {Dan R. Ghica and
Guy McCusker},
title = {Categorical and game semantics for {SCIR}},
booktitle = {1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS
2005, Edinburgh, UK, 2-3 April 2005},
pages = {157--178},
year = {2005},
timestamp = {Thu, 25 Jun 2020 16:30:03 +0200},
biburl = {https://dblp.org/rec/conf/galop/McCuskerW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/galop/2005,
editor = {Dan R. Ghica and
Guy McCusker},
title = {1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS
2005, Edinburgh, UK, 2-3 April 2005},
year = {2005},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/galop/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GhicaM03,
author = {Dan R. Ghica and
Guy McCusker},
title = {The regular-language semantics of second-order idealized A\({}_{\mbox{LGOL}}\)},
journal = {Theor. Comput. Sci.},
volume = {309},
number = {1-3},
pages = {469--502},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(03)00315-3},
doi = {10.1016/S0304-3975(03)00315-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GhicaM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/McCusker03,
author = {Guy McCusker},
editor = {Stephen D. Brookes and
Prakash Panangaden},
title = {On the Semantics of the Bad-Variable Constructor in Algol-like Languages},
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 = {169--186},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(03)50009-3},
doi = {10.1016/S1571-0661(03)50009-3},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/McCusker03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/McCusker02,
author = {Guy McCusker},
editor = {Julian C. Bradfield},
title = {A Fully Abstract Relational Model of Syntactic Control of Interference},
booktitle = {Computer Science Logic, 16th International Workshop, {CSL} 2002, 11th
Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
22-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2471},
pages = {247--261},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45793-3\_17},
doi = {10.1007/3-540-45793-3\_17},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/McCusker02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/McCusker00,
author = {Guy McCusker},
title = {Games and Full Abstraction for {FPC}},
journal = {Inf. Comput.},
volume = {160},
number = {1-2},
pages = {1--61},
year = {2000},
url = {https://doi.org/10.1006/inco.1999.2845},
doi = {10.1006/INCO.1999.2845},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/McCusker00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GhicaM00,
author = {Dan R. Ghica and
Guy McCusker},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {Reasoning about Idealized {ALGOL} Using Regular Languages},
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 = {103--115},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_10},
doi = {10.1007/3-540-45022-X\_10},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GhicaM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AbramskyM99,
author = {Samson Abramsky and
Guy McCusker},
title = {Full Abstraction for Idealized Algol with Passive Expressions},
journal = {Theor. Comput. Sci.},
volume = {227},
number = {1-2},
pages = {3--42},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(99)00047-X},
doi = {10.1016/S0304-3975(99)00047-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AbramskyM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HarmerM99,
author = {Russell Harmer and
Guy McCusker},
title = {A Fully Abstract Game Semantics for Finite Nondeterminism},
booktitle = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
Italy, July 2-5, 1999},
pages = {422--430},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/LICS.1999.782637},
doi = {10.1109/LICS.1999.782637},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HarmerM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0094282,
author = {Guy McCusker},
title = {Games and full abstraction for a functional metalanguage with recursive
types},
series = {{CPHC/BCS} distinguished dissertations},
publisher = {Springer},
year = {1998},
isbn = {978-3-540-76255-3},
timestamp = {Thu, 21 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0094282.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AbramskyHM98,
author = {Samson Abramsky and
Kohei Honda and
Guy McCusker},
title = {A Fully Abstract Game Semantics for General References},
booktitle = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
Indiana, USA, June 21-24, 1998},
pages = {334--344},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/LICS.1998.705669},
doi = {10.1109/LICS.1998.705669},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AbramskyHM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/McCusker97,
author = {Guy McCusker},
title = {Games and definability for {FPC}},
journal = {Bull. Symb. Log.},
volume = {3},
number = {3},
pages = {347--362},
year = {1997},
url = {https://doi.org/10.2307/421149},
doi = {10.2307/421149},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/McCusker97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AbramskyM97,
author = {Samson Abramsky and
Guy McCusker},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Call-by-Value Games},
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 = {1--17},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028004},
doi = {10.1007/BFB0028004},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/AbramskyM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/McCusker96,
author = {Guy McCusker},
title = {Games and Full Abstraction for {FPC}},
booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
New Brunswick, New Jersey, USA, July 27-30, 1996},
pages = {174--183},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/LICS.1996.561316},
doi = {10.1109/LICS.1996.561316},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/McCusker96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbramskyM96,
author = {Samson Abramsky and
Guy McCusker},
editor = {Jean{-}Yves Girard and
Mitsuhiro Okada and
Andre Scedrov},
title = {Linearity, Sharing and State: a fully abstract game semantics for
Idealized Algol with active expressions},
booktitle = {Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo,
Japan, March 29 - April 2, 1996},
series = {Electronic Notes in Theoretical Computer Science},
volume = {3},
pages = {2--14},
publisher = {Elsevier},
year = {1996},
url = {https://doi.org/10.1016/S1571-0661(05)80398-6},
doi = {10.1016/S1571-0661(05)80398-6},
timestamp = {Fri, 11 Nov 2022 13:19:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AbramskyM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AbramskyM95,
author = {Samson Abramsky and
Guy McCusker},
title = {Games and Full Abstraction for the Lazy lambda-Calculus},
booktitle = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
San Diego, California, USA, June 26-29, 1995},
pages = {234--243},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/LICS.1995.523259},
doi = {10.1109/LICS.1995.523259},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AbramskyM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imperial/AbramskyM94,
author = {Samson Abramsky and
Guy McCusker},
editor = {Chris Hankin and
Ian Mackie and
Rajagopal Nagarajan},
title = {Games for Recursive Types},
booktitle = {Proceedings for the Second Imperial College Department of Computing
Workshop on Theory and Formal Methods, M{\o}ller Centre, Cambridge,
UK, 11-14 September 1994},
pages = {1--20},
publisher = {Imperial College Press},
year = {1994},
timestamp = {Wed, 20 Jun 2018 17:55:12 +0200},
biburl = {https://dblp.org/rec/conf/imperial/AbramskyM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-21 17:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
