BibTeX records: Murdoch James Gabbay

download as .bib file

@article{DBLP:journals/apal/GabbayG17,
  author    = {Murdoch James Gabbay and
               Michael Gabbay},
  title     = {Representation and duality of the untyped {\(\lambda\)}-calculus in
               nominal lattice and topological semantics, with a proof of topological
               completeness},
  journal   = {Ann. Pure Appl. Logic},
  volume    = {168},
  number    = {3},
  pages     = {501--621},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.apal.2016.10.001},
  doi       = {10.1016/j.apal.2016.10.001},
  timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/apal/GabbayG17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/Gabbay17,
  author    = {Murdoch James Gabbay},
  title     = {The language of Stratified Sets is confluent and strongly normalising},
  journal   = {CoRR},
  volume    = {abs/1705.07767},
  year      = {2017},
  url       = {http://arxiv.org/abs/1705.07767},
  archivePrefix = {arXiv},
  eprint    = {1705.07767},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/Gabbay17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/Ayala-RinconFGO16,
  author    = {Mauricio Ayala{-}Rinc{\'{o}}n and
               Maribel Fern{\'{a}}ndez and
               Murdoch James Gabbay and
               Ana Cristina Rocha Oliveira},
  title     = {Checking Overlaps of Nominal Rewriting Rules},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {323},
  pages     = {39--56},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.entcs.2016.06.004},
  doi       = {10.1016/j.entcs.2016.06.004},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/Ayala-RinconFGO16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/Gabbay16,
  author    = {Murdoch James Gabbay},
  title     = {Semantics Out of Context: Nominal Absolute Denotations for First-Order
               Logic and Computation},
  journal   = {J. {ACM}},
  volume    = {63},
  number    = {3},
  pages     = {25:1--25:66},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2700819},
  doi       = {10.1145/2700819},
  timestamp = {Fri, 09 Dec 2016 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/Gabbay16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/logcom/GabbayW15,
  author    = {Murdoch James Gabbay and
               Claus{-}Peter Wirth},
  title     = {Quantifiers in logic and proof-search using permissive-nominal terms
               and sets},
  journal   = {J. Log. Comput.},
  volume    = {25},
  number    = {2},
  pages     = {473--523},
  year      = {2015},
  url       = {https://doi.org/10.1093/logcom/exs057},
  doi       = {10.1093/logcom/exs057},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/logcom/GabbayW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/csl/GabbayGP15,
  author    = {Murdoch James Gabbay and
               Dan R. Ghica and
               Daniela Petrisan},
  title     = {Leaving the Nest: Nominal Techniques for Variables with Interleaving
               Scopes},
  booktitle = {24th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2015,
               September 7-10, 2015, Berlin, Germany},
  pages     = {374--389},
  year      = {2015},
  crossref  = {DBLP:conf/csl/2015},
  url       = {https://doi.org/10.4230/LIPIcs.CSL.2015.374},
  doi       = {10.4230/LIPIcs.CSL.2015.374},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csl/GabbayGP15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:conf/birthday/Gabbay14a,
  author    = {Murdoch James Gabbay},
  title     = {Stone duality for first-order logic: a nominal approach to logic and
               topology},
  booktitle = {{HOWARD-60:} {A} Festschrift on the Occasion of Howard Barringer's
               60th Birthday},
  pages     = {178--209},
  year      = {2014},
  crossref  = {DBLP:conf/birthday/2014howard},
  url       = {http://www.easychair.org/publications/?page=1736293044},
  timestamp = {Wed, 16 Aug 2017 16:22:17 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/Gabbay14a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/Gabbay14,
  author    = {Murdoch James Gabbay},
  title     = {Consistency of Quine's New Foundations using nominal techniques},
  journal   = {CoRR},
  volume    = {abs/1406.4060},
  year      = {2014},
  url       = {http://arxiv.org/abs/1406.4060},
  archivePrefix = {arXiv},
  eprint    = {1406.4060},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/Gabbay14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/japll/GabbayN13,
  author    = {Murdoch James Gabbay and
               Aleksandar Nanevski},
  title     = {Denotation of contextual modal type theory {(CMTT):} Syntax and meta-programming},
  journal   = {J. Applied Logic},
  volume    = {11},
  number    = {1},
  pages     = {1--29},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.jal.2012.07.002},
  doi       = {10.1016/j.jal.2012.07.002},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/japll/GabbayN13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mscs/GabbayK13,
  author    = {Murdoch James Gabbay and
               Peter H. Kropholler},
  title     = {Imaginary groups: lazy monoids and reversible computation},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {23},
  number    = {5},
  pages     = {1002--1031},
  year      = {2013},
  url       = {https://doi.org/10.1017/S0960129512000849},
  doi       = {10.1017/S0960129512000849},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/mscs/GabbayK13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-5968,
  author    = {Murdoch James Gabbay and
               Michael Gabbay},
  title     = {Representation and duality of the},
  journal   = {CoRR},
  volume    = {abs/1305.5968},
  year      = {2013},
  url       = {http://arxiv.org/abs/1305.5968},
  archivePrefix = {arXiv},
  eprint    = {1305.5968},
  timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1305-5968},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-6291,
  author    = {Murdoch James Gabbay},
  title     = {Semantics out of context: nominal absolute denotations for first-order
               logic and computation},
  journal   = {CoRR},
  volume    = {abs/1305.6291},
  year      = {2013},
  url       = {http://arxiv.org/abs/1305.6291},
  archivePrefix = {arXiv},
  eprint    = {1305.6291},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1305-6291},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/CiminiMRG12,
  author    = {Matteo Cimini and
               Mohammad Reza Mousavi and
               Michel A. Reniers and
               Murdoch James Gabbay},
  title     = {Nominal {SOS}},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {286},
  pages     = {103--116},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.entcs.2012.08.008},
  doi       = {10.1016/j.entcs.2012.08.008},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/CiminiMRG12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/GabbayG12,
  author    = {Murdoch Gabbay and
               Dan R. Ghica},
  title     = {Game Semantics in the Nominal Model},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {286},
  pages     = {173--189},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.entcs.2012.08.012},
  doi       = {10.1016/j.entcs.2012.08.012},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/GabbayG12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/GabbayM12,
  author    = {Murdoch James Gabbay and
               Dominic P. Mulligan},
  title     = {Corrigendum to "Curry-Howard for incomplete first-order logic
               derivations using one-and-a-half level terms" [Inf.Comput.208(3)(2010)
               230-258]},
  journal   = {Inf. Comput.},
  volume    = {212},
  pages     = {119},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.ic.2012.01.002},
  doi       = {10.1016/j.ic.2012.01.002},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/GabbayM12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/igpl/Gabbay12,
  author    = {Murdoch James Gabbay},
  title     = {Meta-variables as infinite lists in nominal terms unification and
               rewriting},
  journal   = {Logic Journal of the {IGPL}},
  volume    = {20},
  number    = {6},
  pages     = {967--1000},
  year      = {2012},
  url       = {https://doi.org/10.1093/jigpal/jzs005},
  doi       = {10.1093/jigpal/jzs005},
  timestamp = {Fri, 28 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/igpl/Gabbay12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/japll/Gabbay12,
  author    = {Murdoch James Gabbay},
  title     = {Unity in nominal equational reasoning: The algebra of equality on
               nominal sets},
  journal   = {J. Applied Logic},
  volume    = {10},
  number    = {2},
  pages     = {199--217},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.jal.2012.03.001},
  doi       = {10.1016/j.jal.2012.03.001},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/japll/Gabbay12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jsyml/Gabbay12,
  author    = {Murdoch James Gabbay},
  title     = {Finite and infinite support in nominal algebra and logic: nominal
               completeness theorems for free},
  journal   = {J. Symb. Log.},
  volume    = {77},
  number    = {3},
  pages     = {828--852},
  year      = {2012},
  url       = {https://doi.org/10.2178/jsl/1344862164},
  doi       = {10.2178/jsl/1344862164},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jsyml/Gabbay12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/DowekG12,
  author    = {Gilles Dowek and
               Murdoch James Gabbay},
  title     = {{PNL} to {HOL:} From the logic of nominal sets to the logic of higher-order
               functions},
  journal   = {Theor. Comput. Sci.},
  volume    = {451},
  pages     = {38--69},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.tcs.2012.06.007},
  doi       = {10.1016/j.tcs.2012.06.007},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/DowekG12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tocl/DowekG12,
  author    = {Gilles Dowek and
               Murdoch James Gabbay},
  title     = {Permissive-nominal logic: First-order logic over nominal terms and
               sets},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {13},
  number    = {3},
  pages     = {20:1--20:36},
  year      = {2012},
  url       = {http://doi.acm.org/10.1145/2287718.2287720},
  doi       = {10.1145/2287718.2287720},
  timestamp = {Mon, 09 Jan 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/tocl/DowekG12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cilc/DowekG12,
  author    = {Gilles Dowek and
               Murdoch James Gabbay},
  title     = {Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers,
               and Limits},
  booktitle = {Proceedings of the 9th Italian Convention on Computational Logic,
               Rome, Italy, June 6-7, 2012},
  pages     = {104--118},
  year      = {2012},
  crossref  = {DBLP:conf/cilc/2012},
  url       = {http://ceur-ws.org/Vol-857/paper_f08.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cilc/DowekG12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-0904,
  author    = {Murdoch Gabbay and
               Aleksandar Nanevski},
  title     = {Denotation of syntax and metaprogramming in contextual modal type
               theory {(CMTT)}},
  journal   = {CoRR},
  volume    = {abs/1202.0904},
  year      = {2012},
  url       = {http://arxiv.org/abs/1202.0904},
  archivePrefix = {arXiv},
  eprint    = {1202.0904},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1202-0904},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/bsl/Gabbay11,
  author    = {Murdoch James Gabbay},
  title     = {Foundations of nominal techniques: logic and semantics of variables
               in abstract syntax},
  journal   = {Bulletin of Symbolic Logic},
  volume    = {17},
  number    = {2},
  pages     = {161--229},
  year      = {2011},
  url       = {https://doi.org/10.2178/bsl/1305810911},
  doi       = {10.2178/bsl/1305810911},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/bsl/Gabbay11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mscs/Gabbay11,
  author    = {Murdoch James Gabbay},
  title     = {Two-level nominal sets and semantic nominal terms: an extension of
               nominal set theory for handling meta-variables},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {21},
  number    = {5},
  pages     = {997--1033},
  year      = {2011},
  url       = {https://doi.org/10.1017/S0960129511000272},
  doi       = {10.1017/S0960129511000272},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/mscs/Gabbay11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/calco/GabbayLP11,
  author    = {Murdoch James Gabbay and
               Tadeusz Litak and
               Daniela Petrisan},
  title     = {Stone Duality for Nominal Boolean Algebras with {\cyrchar\CYRI}},
  booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference,
               {CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
  pages     = {192--207},
  year      = {2011},
  crossref  = {DBLP:conf/calco/2011},
  url       = {https://doi.org/10.1007/978-3-642-22944-2_14},
  doi       = {10.1007/978-3-642-22944-2_14},
  timestamp = {Wed, 24 May 2017 08:30:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/calco/GabbayLP11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fct/FairweatherFG11,
  author    = {Elliot Fairweather and
               Maribel Fern{\'{a}}ndez and
               Murdoch James Gabbay},
  title     = {Principal Types for Nominal Theories},
  booktitle = {Fundamentals of Computation Theory - 18th International Symposium,
               {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  pages     = {160--172},
  year      = {2011},
  crossref  = {DBLP:conf/fct/2011},
  url       = {https://doi.org/10.1007/978-3-642-22953-4_14},
  doi       = {10.1007/978-3-642-22953-4_14},
  timestamp = {Thu, 15 Jun 2017 21:40:42 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fct/FairweatherFG11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GabbayC11,
  author    = {Murdoch James Gabbay and
               Vincenzo Ciancia},
  title     = {Freshness and Name-Restriction in Sets of Traces with Names},
  booktitle = {Foundations of Software Science and Computational Structures - 14th
               International Conference, {FOSSACS} 2011, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2011,
               Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
  pages     = {365--380},
  year      = {2011},
  crossref  = {DBLP:conf/fossacs/2011},
  url       = {https://doi.org/10.1007/978-3-642-19805-2_25},
  doi       = {10.1007/978-3-642-19805-2_25},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fossacs/GabbayC11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1111-0089,
  author    = {Murdoch James Gabbay and
               Dominic P. Mulligan},
  title     = {Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal
               sets},
  booktitle = {Proceedings Sixth International Workshop on Logical Frameworks and
               Meta-languages: Theory and Practice, {LFMTP} 2011, Nijmegen, The Netherlands,
               August 26, 2011.},
  pages     = {58--75},
  year      = {2011},
  crossref  = {DBLP:journals/corr/abs-1110-6685},
  url       = {https://doi.org/10.4204/EPTCS.71.5},
  doi       = {10.4204/EPTCS.71.5},
  timestamp = {Wed, 03 May 2017 14:47:54 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1111-0089},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-4611,
  author    = {Gilles Dowek and
               Murdoch Gabbay},
  title     = {From nominal sets binding to functions and lambda-abstraction: connecting
               the logic of permutation models with the logic of functions},
  journal   = {CoRR},
  volume    = {abs/1111.4611},
  year      = {2011},
  url       = {http://arxiv.org/abs/1111.4611},
  archivePrefix = {arXiv},
  eprint    = {1111.4611},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1111-4611},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-0923,
  author    = {Murdoch James Gabbay},
  title     = {Finite and infinite support in nominal algebra and logic: nominal
               completeness theorems for free},
  journal   = {CoRR},
  volume    = {abs/1112.0923},
  year      = {2011},
  url       = {http://arxiv.org/abs/1112.0923},
  archivePrefix = {arXiv},
  eprint    = {1112.0923},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1112-0923},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/GabbayM10,
  author    = {Murdoch James Gabbay and
               Dominic P. Mulligan},
  title     = {Curry-Howard for incomplete first-order logic derivations using one-and-a-half
               level terms},
  journal   = {Inf. Comput.},
  volume    = {208},
  number    = {3},
  pages     = {230--258},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.ic.2009.09.003},
  doi       = {10.1016/j.ic.2009.09.003},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/GabbayM10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/igpl/DowekGM10,
  author    = {Gilles Dowek and
               Murdoch James Gabbay and
               Dominic P. Mulligan},
  title     = {Permissive nominal terms and their unification: an infinite, co-infinite
               approach to nominal techniques},
  journal   = {Logic Journal of the {IGPL}},
  volume    = {18},
  number    = {6},
  pages     = {769--822},
  year      = {2010},
  url       = {https://doi.org/10.1093/jigpal/jzq006},
  doi       = {10.1093/jigpal/jzq006},
  timestamp = {Fri, 28 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/igpl/DowekGM10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/logcom/GabbayM10,
  author    = {Murdoch James Gabbay and
               Aad Mathijssen},
  title     = {A Nominal Axiomatization of the Lambda Calculus},
  journal   = {J. Log. Comput.},
  volume    = {20},
  number    = {2},
  pages     = {501--531},
  year      = {2010},
  url       = {https://doi.org/10.1093/logcom/exp049},
  doi       = {10.1093/logcom/exp049},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/logcom/GabbayM10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GabbayG10,
  author    = {Michael Gabbay and
               Murdoch James Gabbay},
  title     = {A Simple Class of Kripke-Style Models in Which Logic and Computation
               Have Equal Standing},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
               International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
               2010, Revised Selected Papers},
  pages     = {231--254},
  year      = {2010},
  crossref  = {DBLP:conf/lpar/2010d},
  url       = {https://doi.org/10.1007/978-3-642-17511-4_14},
  doi       = {10.1007/978-3-642-17511-4_14},
  timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpar/GabbayG10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/DowekG10,
  author    = {Gilles Dowek and
               Murdoch James Gabbay},
  title     = {Permissive-nominal logic},
  booktitle = {Proceedings of the 12th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 26-28, 2010,
               Hagenberg, Austria},
  pages     = {165--176},
  year      = {2010},
  crossref  = {DBLP:conf/ppdp/2010},
  url       = {http://doi.acm.org/10.1145/1836089.1836110},
  doi       = {10.1145/1836089.1836110},
  timestamp = {Fri, 20 Aug 2010 14:01:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/DowekG10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-2791,
  author    = {Maribel Fern{\'{a}}ndez and
               Murdoch James Gabbay},
  title     = {Closed nominal rewriting and efficiently computable nominal algebra
               equality},
  booktitle = {Proceedings 5th International Workshop on Logical Frameworks and Meta-languages:
               Theory and Practice, {LFMTP} 2010, Edinburgh, UK, 14th July 2010.},
  pages     = {37--51},
  year      = {2010},
  crossref  = {DBLP:journals/corr/abs-1009-2189},
  url       = {https://doi.org/10.4204/EPTCS.34.5},
  doi       = {10.4204/EPTCS.34.5},
  timestamp = {Wed, 03 May 2017 14:47:53 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1009-2791},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/GabbayG09,
  author    = {Michael Gabbay and
               Murdoch James Gabbay},
  title     = {Term Sequent Logic},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {246},
  pages     = {87--106},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.07.017},
  doi       = {10.1016/j.entcs.2009.07.017},
  timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/GabbayG09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/GabbayM09,
  author    = {Murdoch James Gabbay and
               Dominic P. Mulligan},
  title     = {Two-level Lambda-calculus},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {246},
  pages     = {107--129},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.07.018},
  doi       = {10.1016/j.entcs.2009.07.018},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/GabbayM09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/GabbayL09,
  author    = {Murdoch James Gabbay and
               St{\'{e}}phane Lengrand},
  title     = {The lambda-context calculus (extended version)},
  journal   = {Inf. Comput.},
  volume    = {207},
  number    = {12},
  pages     = {1369--1400},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.ic.2009.06.004},
  doi       = {10.1016/j.ic.2009.06.004},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/GabbayL09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/logcom/Gabbay09,
  author    = {Murdoch James Gabbay},
  title     = {Nominal Algebra and the {HSP} Theorem},
  journal   = {J. Log. Comput.},
  volume    = {19},
  number    = {2},
  pages     = {341--367},
  year      = {2009},
  url       = {https://doi.org/10.1093/logcom/exn055},
  doi       = {10.1093/logcom/exn055},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/logcom/Gabbay09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/logcom/GabbayM09,
  author    = {Murdoch James Gabbay and
               Aad Mathijssen},
  title     = {Nominal (Universal) Algebra: Equational Logic with Names and Binding},
  journal   = {J. Log. Comput.},
  volume    = {19},
  number    = {6},
  pages     = {1455--1508},
  year      = {2009},
  url       = {https://doi.org/10.1093/logcom/exp033},
  doi       = {10.1093/logcom/exp033},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/logcom/GabbayM09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/Gabbay09,
  author    = {Murdoch James Gabbay},
  title     = {A study of substitution, using nominal techniques and Fraenkel-Mostowksi
               sets},
  journal   = {Theor. Comput. Sci.},
  volume    = {410},
  number    = {12-13},
  pages     = {1159--1189},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.tcs.2008.11.013},
  doi       = {10.1016/j.tcs.2008.11.013},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/Gabbay09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lfmtp/GabbayM09,
  author    = {Murdoch James Gabbay and
               Dominic P. Mulligan},
  title     = {Universal algebra over lambda-terms and nominal terms: the connection
               in logic between nominal techniques and higher-order variables},
  booktitle = {Proceedings of the Fourth International Workshop on Logical Frameworks
               and Meta-Languages: Theory and Practice, {LFMTP} '09, McGill University,
               Montreal, Canada, August 2, 2009},
  pages     = {64--73},
  year      = {2009},
  crossref  = {DBLP:conf/lfmtp/2009},
  url       = {http://doi.acm.org/10.1145/1577824.1577835},
  doi       = {10.1145/1577824.1577835},
  timestamp = {Mon, 12 Mar 2012 07:35:17 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lfmtp/GabbayM09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/GabbayL08,
  author    = {Murdoch Gabbay and
               St{\'{e}}phane Lengrand},
  title     = {The lambda-context Calculus},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {196},
  pages     = {19--35},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2007.09.015},
  doi       = {10.1016/j.entcs.2007.09.015},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/GabbayL08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/GabbayG08,
  author    = {Murdoch Gabbay and
               Michael Gabbay},
  title     = {a-Logic With Arrows},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {216},
  pages     = {3--29},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2008.06.031},
  doi       = {10.1016/j.entcs.2008.06.031},
  timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/GabbayG08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fac/GabbayM08,
  author    = {Murdoch James Gabbay and
               Aad Mathijssen},
  title     = {Capture-avoiding substitution as a nominal algebra},
  journal   = {Formal Asp. Comput.},
  volume    = {20},
  number    = {4-5},
  pages     = {451--479},
  year      = {2008},
  url       = {https://doi.org/10.1007/s00165-007-0056-1},
  doi       = {10.1007/s00165-007-0056-1},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/fac/GabbayM08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/logcom/GabbayM08,
  author    = {Murdoch James Gabbay and
               Aad Mathijssen},
  title     = {One-and-a-halfth-order Logic},
  journal   = {J. Log. Comput.},
  volume    = {18},
  number    = {4},
  pages     = {521--562},
  year      = {2008},
  url       = {https://doi.org/10.1093/logcom/exm064},
  doi       = {10.1093/logcom/exm064},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/logcom/GabbayM08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aisb/GabbayG08,
  author    = {Murdoch Gabbay and
               Michael Gabbay},
  title     = {Substitution for Fraenkel-Mostowski foundations},
  booktitle = {{AISB} 2008 Convention: Communication, Interaction and Social Intelligence,
               1st-4th April 2008, University of Aberdeen},
  pages     = {65--72},
  year      = {2008},
  crossref  = {DBLP:conf/aisb/2008},
  url       = {http://www.aisb.org.uk/convention/aisb08/proc/proceedings/12%20Computing%20and%20Philosophy/10.pdf},
  timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aisb/GabbayG08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GabbayH08,
  author    = {Murdoch James Gabbay and
               Martin Hofmann},
  title     = {Nominal Renaming Sets},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
               International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
               2008. Proceedings},
  pages     = {158--173},
  year      = {2008},
  crossref  = {DBLP:conf/lpar/2008},
  url       = {https://doi.org/10.1007/978-3-540-89439-1_11},
  doi       = {10.1007/978-3-540-89439-1_11},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpar/GabbayH08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wollic/GabbayM08,
  author    = {Murdoch Gabbay and
               Dominic P. Mulligan},
  title     = {One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations},
  booktitle = {Logic, Language, Information and Computation, 15th International Workshop,
               WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  pages     = {179--193},
  year      = {2008},
  crossref  = {DBLP:conf/wollic/2008},
  url       = {https://doi.org/10.1007/978-3-540-69937-8_16},
  doi       = {10.1007/978-3-540-69937-8_16},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wollic/GabbayM08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/Gabbay07,
  author    = {Murdoch Gabbay},
  title     = {Hierarchical Nominal Terms and Their Theory of Rewriting},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {174},
  number    = {5},
  pages     = {37--52},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2007.01.017},
  doi       = {10.1016/j.entcs.2007.01.017},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/Gabbay07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/FernandezG07,
  author    = {Maribel Fern{\'{a}}ndez and
               Murdoch Gabbay},
  title     = {Nominal rewriting},
  journal   = {Inf. Comput.},
  volume    = {205},
  number    = {6},
  pages     = {917--965},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.ic.2006.12.002},
  doi       = {10.1016/j.ic.2006.12.002},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/FernandezG07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/Gabbay07,
  author    = {Murdoch Gabbay},
  title     = {A general mathematics of names},
  journal   = {Inf. Comput.},
  volume    = {205},
  number    = {7},
  pages     = {982--1011},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.ic.2006.10.010},
  doi       = {10.1016/j.ic.2006.10.010},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/Gabbay07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/japll/Gabbay07,
  author    = {Murdoch Gabbay},
  title     = {Fresh Logic: proof-theory and semantics for {FM} and nominal techniques},
  journal   = {J. Applied Logic},
  volume    = {5},
  number    = {2},
  pages     = {356--387},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.jal.2005.10.012},
  doi       = {10.1016/j.jal.2005.10.012},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/japll/Gabbay07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wollic/GabbayM07,
  author    = {Murdoch Gabbay and
               Aad Mathijssen},
  title     = {A Formal Calculus for Informal Equality with Binding},
  booktitle = {Logic, Language, Information and Computation, 14th International Workshop,
               WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  pages     = {162--176},
  year      = {2007},
  crossref  = {DBLP:conf/wollic/2007},
  url       = {https://doi.org/10.1007/978-3-540-73445-1_12},
  doi       = {10.1007/978-3-540-73445-1_12},
  timestamp = {Mon, 12 Jun 2017 16:41:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wollic/GabbayM07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ictac/GabbayM06,
  author    = {Murdoch Gabbay and
               Aad Mathijssen},
  title     = {Capture-Avoiding Substitution as a Nominal Algebra},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2006, Third International
               Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings},
  pages     = {198--212},
  year      = {2006},
  crossref  = {DBLP:conf/ictac/2006},
  url       = {https://doi.org/10.1007/11921240_14},
  doi       = {10.1007/11921240_14},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ictac/GabbayM06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/GabbayM06,
  author    = {Murdoch Gabbay and
               Aad Mathijssen},
  title     = {One-and-a-halfth-order logic},
  booktitle = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 10-12, 2006,
               Venice, Italy},
  pages     = {189--200},
  year      = {2006},
  crossref  = {DBLP:conf/ppdp/2006},
  url       = {http://doi.acm.org/10.1145/1140335.1140359},
  doi       = {10.1145/1140335.1140359},
  timestamp = {Thu, 07 Dec 2006 13:17:18 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/GabbayM06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/types/FernandezG06,
  author    = {Maribel Fern{\'{a}}ndez and
               Murdoch Gabbay},
  title     = {Curry-Style Types for Nominal Terms},
  booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2006,
               Nottingham, UK, April 18-21, 2006, Revised Selected Papers},
  pages     = {125--139},
  year      = {2006},
  crossref  = {DBLP:conf/types/2006},
  url       = {https://doi.org/10.1007/978-3-540-74464-1_9},
  doi       = {10.1007/978-3-540-74464-1_9},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/types/FernandezG06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GabbayG05,
  author    = {Michael Gabbay and
               Murdoch Gabbay},
  title     = {Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction
               and Goal-Directed Reasoning},
  booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
  pages     = {701--730},
  year      = {2005},
  crossref  = {DBLP:conf/birthday/2005gabbay1},
  timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/GabbayG05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GabbayG05a,
  author    = {Murdoch Gabbay and
               Michael Gabbay},
  title     = {a-logic},
  booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
  pages     = {731--764},
  year      = {2005},
  crossref  = {DBLP:conf/birthday/2005gabbay1},
  timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/GabbayG05a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/concur/MousaviGR05,
  author    = {Mohammad Reza Mousavi and
               Murdoch Gabbay and
               Michel A. Reniers},
  title     = {{SOS} for Higher Order Processes},
  booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
               {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
  pages     = {308--322},
  year      = {2005},
  crossref  = {DBLP:conf/concur/2005},
  url       = {https://doi.org/10.1007/11539452_25},
  doi       = {10.1007/11539452_25},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/concur/MousaviGR05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/FernandezG05,
  author    = {Maribel Fern{\'{a}}ndez and
               Murdoch Gabbay},
  title     = {Nominal rewriting with name generation: abstraction vs. locality},
  booktitle = {Proceedings of the 7th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 11-13 2005,
               Lisbon, Portugal},
  pages     = {47--58},
  year      = {2005},
  crossref  = {DBLP:conf/ppdp/2005},
  url       = {http://doi.acm.org/10.1145/1069774.1069779},
  doi       = {10.1145/1069774.1069779},
  timestamp = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/FernandezG05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Gabbay05,
  author    = {Murdoch Gabbay},
  title     = {A new calculus of contexts},
  booktitle = {Proceedings of the 7th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 11-13 2005,
               Lisbon, Portugal},
  pages     = {94--105},
  year      = {2005},
  crossref  = {DBLP:conf/ppdp/2005},
  url       = {http://doi.acm.org/10.1145/1069774.1069783},
  doi       = {10.1145/1069774.1069783},
  timestamp = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/Gabbay05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/UrbanPG04,
  author    = {Christian Urban and
               Andrew M. Pitts and
               Murdoch Gabbay},
  title     = {Nominal unification},
  journal   = {Theor. Comput. Sci.},
  volume    = {323},
  number    = {1-3},
  pages     = {473--497},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.tcs.2004.06.016},
  doi       = {10.1016/j.tcs.2004.06.016},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/UrbanPG04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lics/GabbayC04,
  author    = {Murdoch Gabbay and
               James Cheney},
  title     = {A Sequent Calculus for Nominal Logic},
  booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
               14-17 July 2004, Turku, Finland, Proceedings},
  pages     = {139--148},
  year      = {2004},
  crossref  = {DBLP:conf/lics/2004},
  url       = {https://doi.org/10.1109/LICS.2004.1319608},
  doi       = {10.1109/LICS.2004.1319608},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lics/GabbayC04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/FernandezGM04,
  author    = {Maribel Fern{\'{a}}ndez and
               Murdoch Gabbay and
               Ian Mackie},
  title     = {Nominal rewriting systems},
  booktitle = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, 24-26 August 2004,
               Verona, Italy},
  pages     = {108--119},
  year      = {2004},
  crossref  = {DBLP:conf/ppdp/2004},
  url       = {http://doi.acm.org/10.1145/1013963.1013978},
  doi       = {10.1145/1013963.1013978},
  timestamp = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/FernandezGM04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigplan/ShinwellPG03,
  author    = {Mark R. Shinwell and
               Andrew M. Pitts and
               Murdoch James Gabbay},
  title     = {FreshML: programming with binders made simple},
  journal   = {{SIGPLAN} Notices},
  volume    = {38},
  number    = {9},
  pages     = {263--274},
  year      = {2003},
  url       = {http://doi.acm.org/10.1145/944746.944729},
  doi       = {10.1145/944746.944729},
  timestamp = {Fri, 30 Apr 2010 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sigplan/ShinwellPG03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/csl/UrbanPG03,
  author    = {Christian Urban and
               Andrew M. Pitts and
               Murdoch Gabbay},
  title     = {Nominal Unificaiton},
  booktitle = {Computer Science Logic, 17th International Workshop, {CSL} 2003, 12th
               Annual Conference of the EACSL, and 8th Kurt G{\"{o}}del Colloquium,
               {KGC} 2003, Vienna, Austria, August 25-30, 2003, Proceedings},
  pages     = {513--527},
  year      = {2003},
  crossref  = {DBLP:conf/csl/2003},
  url       = {https://doi.org/10.1007/978-3-540-45220-1_41},
  doi       = {10.1007/978-3-540-45220-1_41},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csl/UrbanPG03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ShinwellPG03,
  author    = {Mark R. Shinwell and
               Andrew M. Pitts and
               Murdoch Gabbay},
  title     = {FreshML: programming with binders made simple},
  booktitle = {Proceedings of the Eighth {ACM} {SIGPLAN} International Conference
               on Functional Programming, {ICFP} 2003, Uppsala, Sweden, August 25-29,
               2003},
  pages     = {263--274},
  year      = {2003},
  crossref  = {DBLP:conf/icfp/2003},
  url       = {http://doi.acm.org/10.1145/944705.944729},
  doi       = {10.1145/944705.944729},
  timestamp = {Mon, 13 Feb 2006 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/icfp/ShinwellPG03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fac/GabbayP02,
  author    = {Murdoch Gabbay and
               Andrew M. Pitts},
  title     = {A New Approach to Abstract Syntax with Variable Binding},
  journal   = {Formal Asp. Comput.},
  volume    = {13},
  number    = {3-5},
  pages     = {341--363},
  year      = {2002},
  url       = {https://doi.org/10.1007/s001650200016},
  doi       = {10.1007/s001650200016},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/fac/GabbayP02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mpc/PittsG00,
  author    = {Andrew M. Pitts and
               Murdoch Gabbay},
  title     = {A Metalanguage for Programming with Bound Names Modulo Renaming},
  booktitle = {Mathematics of Program Construction, 5th International Conference,
               {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  pages     = {230--255},
  year      = {2000},
  crossref  = {DBLP:conf/mpc/2000},
  url       = {https://doi.org/10.1007/10722010_15},
  doi       = {10.1007/10722010_15},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mpc/PittsG00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lics/GabbayP99,
  author    = {Murdoch Gabbay and
               Andrew M. Pitts},
  title     = {A New Approach to Abstract Syntax Involving Binders},
  booktitle = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
               Italy, July 2-5, 1999},
  pages     = {214--224},
  year      = {1999},
  crossref  = {DBLP:conf/lics/1999},
  url       = {https://doi.org/10.1109/LICS.1999.782617},
  doi       = {10.1109/LICS.1999.782617},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lics/GabbayP99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csl/2015,
  editor    = {Stephan Kreutzer},
  title     = {24th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2015,
               September 7-10, 2015, Berlin, Germany},
  series    = {LIPIcs},
  volume    = {41},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2015},
  url       = {http://www.dagstuhl.de/dagpub/978-3-939897-90-3},
  isbn      = {978-3-939897-90-3},
  timestamp = {Mon, 14 Sep 2015 16:03:03 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csl/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:conf/birthday/2014howard,
  editor    = {Andrei Voronkov and
               Margarita V. Korovina},
  title     = {{HOWARD-60:} {A} Festschrift on the Occasion of Howard Barringer's
               60th Birthday},
  series    = {EPiC Series in Computing},
  volume    = {42},
  publisher = {EasyChair},
  year      = {2014},
  url       = {https://easychair.org/publications/volume/HOWARD-60},
  timestamp = {Wed, 16 Aug 2017 16:22:17 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/2014howard},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cilc/2012,
  editor    = {Francesca A. Lisi},
  title     = {Proceedings of the 9th Italian Convention on Computational Logic,
               Rome, Italy, June 6-7, 2012},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {857},
  publisher = {CEUR-WS.org},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-857},
  urn       = {urn:nbn:de:0074-857-8},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cilc/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/calco/2011,
  editor    = {Andrea Corradini and
               Bartek Klin and
               Corina C{\^{\i}}rstea},
  title     = {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},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22944-2},
  doi       = {10.1007/978-3-642-22944-2},
  isbn      = {978-3-642-22943-5},
  timestamp = {Wed, 24 May 2017 08:30:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/calco/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fct/2011,
  editor    = {Olaf Owe and
               Martin Steffen and
               Jan Arne Telle},
  title     = {Fundamentals of Computation Theory - 18th International Symposium,
               {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6914},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22953-4},
  doi       = {10.1007/978-3-642-22953-4},
  isbn      = {978-3-642-22952-7},
  timestamp = {Thu, 15 Jun 2017 21:40:42 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fct/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2011,
  editor    = {Martin Hofmann},
  title     = {Foundations of Software Science and Computational Structures - 14th
               International Conference, {FOSSACS} 2011, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2011,
               Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6604},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-19805-2},
  doi       = {10.1007/978-3-642-19805-2},
  isbn      = {978-3-642-19804-5},
  timestamp = {Tue, 23 May 2017 01:08:05 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fossacs/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1110-6685,
  editor    = {Herman Geuvers and
               Gopalan Nadathur},
  title     = {Proceedings Sixth International Workshop on Logical Frameworks and
               Meta-languages: Theory and Practice, {LFMTP} 2011, Nijmegen, The Netherlands,
               August 26, 2011},
  series    = {{EPTCS}},
  volume    = {71},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.71},
  doi       = {10.4204/EPTCS.71},
  timestamp = {Wed, 03 May 2017 14:47:54 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1110-6685},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpar/2010d,
  editor    = {Edmund M. Clarke and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
               International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
               2010, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6355},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-17511-4},
  doi       = {10.1007/978-3-642-17511-4},
  isbn      = {978-3-642-17510-7},
  timestamp = {Tue, 23 May 2017 01:12:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpar/2010d},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2010,
  editor    = {Temur Kutsia and
               Wolfgang Schreiner and
               Maribel Fern{\'{a}}ndez},
  title     = {Proceedings of the 12th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 26-28, 2010,
               Hagenberg, Austria},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0132-9},
  timestamp = {Fri, 20 Aug 2010 14:01:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1009-2189,
  editor    = {Karl Crary and
               Marino Miculan},
  title     = {Proceedings 5th International Workshop on Logical Frameworks and Meta-languages:
               Theory and Practice, {LFMTP} 2010, Edinburgh, UK, 14th July 2010},
  series    = {{EPTCS}},
  volume    = {34},
  year      = {2010},
  url       = {https://doi.org/10.4204/EPTCS.34},
  doi       = {10.4204/EPTCS.34},
  timestamp = {Wed, 03 May 2017 14:47:53 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1009-2189},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lfmtp/2009,
  editor    = {James Cheney and
               Amy P. Felty},
  title     = {Proceedings of the Fourth International Workshop on Logical Frameworks
               and Meta-Languages: Theory and Practice, {LFMTP} '09, McGill University,
               Montreal, Canada, August 2, 2009},
  publisher = {{ACM}},
  year      = {2009},
  url       = {http://dl.acm.org/citation.cfm?id=1577824},
  isbn      = {978-1-60558-529-1},
  timestamp = {Mon, 12 Mar 2012 07:35:17 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lfmtp/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aisb/2008,
  editor    = {Frank Guerin and
               Wamberto Weber Vasconcelos},
  title     = {{AISB} 2008 Convention: Communication, Interaction and Social Intelligence,
               1st-4th April 2008, University of Aberdeen},
  series    = {Computing {\&} Philosophy},
  volume    = {12},
  publisher = {{AISB}},
  year      = {2008},
  isbn      = {1-902956-71-0},
  timestamp = {Thu, 28 Aug 2008 14:52:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aisb/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpar/2008,
  editor    = {Iliano Cervesato and
               Helmut Veith and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
               International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
               2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5330},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89439-1},
  doi       = {10.1007/978-3-540-89439-1},
  isbn      = {978-3-540-89438-4},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpar/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wollic/2008,
  editor    = {Wilfrid Hodges and
               Ruy J. G. B. de Queiroz},
  title     = {Logic, Language, Information and Computation, 15th International Workshop,
               WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5110},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-69937-8},
  doi       = {10.1007/978-3-540-69937-8},
  isbn      = {978-3-540-69936-1},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wollic/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wollic/2007,
  editor    = {Daniel Leivant and
               Ruy J. G. B. de Queiroz},
  title     = {Logic, Language, Information and Computation, 14th International Workshop,
               WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4576},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73445-1},
  doi       = {10.1007/978-3-540-73445-1},
  isbn      = {978-3-540-73443-7},
  timestamp = {Mon, 12 Jun 2017 16:41:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wollic/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ictac/2006,
  editor    = {Kamel Barkaoui and
               Ana Cavalcanti and
               Antonio Cerone},
  title     = {Theoretical Aspects of Computing - {ICTAC} 2006, Third International
               Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4281},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11921240},
  doi       = {10.1007/11921240},
  isbn      = {3-540-48815-4},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ictac/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2006,
  editor    = {Annalisa Bossi and
               Michael J. Maher},
  title     = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 10-12, 2006,
               Venice, Italy},
  publisher = {{ACM}},
  year      = {2006},
  isbn      = {1-59593-388-3},
  timestamp = {Thu, 07 Dec 2006 13:17:18 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/types/2006,
  editor    = {Thorsten Altenkirch and
               Conor McBride},
  title     = {Types for Proofs and Programs, International Workshop, {TYPES} 2006,
               Nottingham, UK, April 18-21, 2006, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4502},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-74464-1},
  doi       = {10.1007/978-3-540-74464-1},
  isbn      = {978-3-540-74463-4},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/types/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2005gabbay1,
  editor    = {Sergei N. Art{\"{e}}mov and
               Howard Barringer and
               Artur S. d'Avila Garcez and
               Lu{\'{\i}}s C. Lamb and
               John Woods},
  title     = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
  publisher = {College Publications},
  year      = {2005},
  isbn      = {1-904987-25-7},
  timestamp = {Wed, 23 Nov 2005 14:53:03 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/2005gabbay1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/concur/2005,
  editor    = {Mart{\'{\i}}n Abadi and
               Luca de Alfaro},
  title     = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
               {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3653},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11539452},
  doi       = {10.1007/11539452},
  isbn      = {3-540-28309-9},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/concur/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2005,
  editor    = {Pedro Barahona and
               Amy P. Felty},
  title     = {Proceedings of the 7th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 11-13 2005,
               Lisbon, Portugal},
  publisher = {{ACM}},
  year      = {2005},
  isbn      = {1-59593-090-6},
  timestamp = {Thu, 21 Jul 2005 07:39:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lics/2004,
  title     = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
               14-17 July 2004, Turku, Finland, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9221},
  isbn      = {0-7695-2192-4},
  timestamp = {Fri, 21 Nov 2014 14:08:55 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lics/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2004,
  editor    = {Eugenio Moggi and
               David Scott Warren},
  title     = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, 24-26 August 2004,
               Verona, Italy},
  publisher = {{ACM}},
  year      = {2004},
  isbn      = {1-58113-819-9},
  timestamp = {Thu, 25 Nov 2004 11:10:22 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csl/2003,
  editor    = {Matthias Baaz and
               Johann A. Makowsky},
  title     = {Computer Science Logic, 17th International Workshop, {CSL} 2003, 12th
               Annual Conference of the EACSL, and 8th Kurt G{\"{o}}del Colloquium,
               {KGC} 2003, Vienna, Austria, August 25-30, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2803},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b13224},
  doi       = {10.1007/b13224},
  isbn      = {3-540-40801-0},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csl/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfp/2003,
  editor    = {Colin Runciman and
               Olin Shivers},
  title     = {Proceedings of the Eighth {ACM} {SIGPLAN} International Conference
               on Functional Programming, {ICFP} 2003, Uppsala, Sweden, August 25-29,
               2003},
  publisher = {{ACM}},
  year      = {2003},
  isbn      = {1-58113-756-7},
  timestamp = {Wed, 21 Apr 2004 13:59:40 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icfp/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mpc/2000,
  editor    = {Roland Carl Backhouse and
               Jos{\'{e}} Nuno Oliveira},
  title     = {Mathematics of Program Construction, 5th International Conference,
               {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1837},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/10722010},
  doi       = {10.1007/10722010},
  isbn      = {3-540-67727-5},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mpc/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lics/1999,
  title     = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
               Italy, July 2-5, 1999},
  publisher = {{IEEE} Computer Society},
  year      = {1999},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6352},
  isbn      = {0-7695-0158-3},
  timestamp = {Fri, 21 Nov 2014 14:08:57 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lics/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier