BibTeX records: Murdoch James Gabbay

download as .bib file

@article{DBLP:journals/corr/abs-2402-03253,
  author       = {Murdoch James Gabbay and
                  Giuliano Losa},
  title        = {Semitopology: distributed collaborative action via topology, algebra,
                  and logic},
  journal      = {CoRR},
  volume       = {abs/2402.03253},
  year         = {2024}
}
@article{DBLP:journals/corr/abs-2303-09287,
  author       = {Murdoch Gabbay and
                  Giuliano Losa},
  title        = {Semitopology: a new topological model of heterogeneous consensus},
  journal      = {CoRR},
  volume       = {abs/2303.09287},
  year         = {2023}
}
@article{DBLP:journals/corr/abs-2310-00956,
  author       = {Murdoch Gabbay and
                  Giuliano Losa},
  title        = {Semiframes: algebras of heterogeneous consensus},
  journal      = {CoRR},
  volume       = {abs/2310.00956},
  year         = {2023}
}
@article{DBLP:journals/corr/abs-2312-15651,
  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      = {CoRR},
  volume       = {abs/2312.15651},
  year         = {2023}
}
@article{DBLP:journals/corr/abs-2312-16239,
  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      = {CoRR},
  volume       = {abs/2312.16239},
  year         = {2023}
}
@article{DBLP:journals/corr/abs-2312-16480,
  author       = {Gilles Dowek and
                  Murdoch James Gabbay},
  title        = {Permissive-Nominal Logic (journal version)},
  journal      = {CoRR},
  volume       = {abs/2312.16480},
  year         = {2023}
}
@article{DBLP:journals/corr/abs-2312-16487,
  author       = {Gilles Dowek and
                  Murdoch James Gabbay},
  title        = {Nominal semantics for predicate logic: algebras, substitution, quantifiers,
                  and limits},
  journal      = {CoRR},
  volume       = {abs/2312.16487},
  year         = {2023}
}
@article{DBLP:journals/mscs/Gabbay21,
  author       = {Murdoch James Gabbay},
  title        = {Algebras of UTxO blockchains},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {31},
  number       = {9},
  pages        = {1034--1089},
  year         = {2021}
}
@inproceedings{DBLP:conf/cav/GabbayJS21,
  author       = {Murdoch James Gabbay and
                  Arvid Jakobsson and
                  Kristina Sojakova},
  title        = {Money Grows on (Proof-)Trees: The Formal {FA1.2} Ledger Standard},
  booktitle    = {FMBC@CAV},
  series       = {OASIcs},
  volume       = {95},
  pages        = {2:1--2:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021}
}
@article{DBLP:journals/corr/abs-2109-09451,
  author       = {Murdoch Gabbay and
                  Arvid Jakobsson and
                  Kristina Sojakova},
  title        = {Money grows on (proof-)trees: the formal {FA1.2} ledger standard},
  journal      = {CoRR},
  volume       = {abs/2109.09451},
  year         = {2021}
}
@article{DBLP:journals/logcom/Gabbay20,
  author       = {Murdoch Gabbay},
  title        = {Equivariant {ZFA} and the foundations of nominal techniques},
  journal      = {J. Log. Comput.},
  volume       = {30},
  number       = {2},
  pages        = {525--548},
  year         = {2020}
}
@inproceedings{DBLP:conf/isola/BrunjesG20,
  author       = {Lars Br{\"{u}}njes and
                  Murdoch James Gabbay},
  title        = {UTxO- vs Account-Based Smart Contract Blockchain Programming Paradigms},
  booktitle    = {ISoLA {(3)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12478},
  pages        = {73--88},
  publisher    = {Springer},
  year         = {2020}
}
@article{DBLP:journals/corr/abs-2003-14271,
  author       = {Lars Br{\"{u}}njes and
                  Murdoch James Gabbay},
  title        = {UTxO- vs account-based smart contract blockchain programming paradigms},
  journal      = {CoRR},
  volume       = {abs/2003.14271},
  year         = {2020}
}
@article{DBLP:journals/corr/abs-2007-12404,
  author       = {Murdoch James Gabbay},
  title        = {What is an EUTxO blockchain?},
  journal      = {CoRR},
  volume       = {abs/2007.12404},
  year         = {2020}
}
@article{DBLP:journals/corr/abs-2007-13346,
  author       = {Devraj Basu and
                  Murdoch Gabbay},
  title        = {Karl Marx and the Blockchain},
  journal      = {CoRR},
  volume       = {abs/2007.13346},
  year         = {2020}
}
@article{DBLP:journals/lmcs/Gabbay18,
  author       = {Murdoch James Gabbay},
  title        = {The language of Stratified Sets is confluent and strongly normalising},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {14},
  number       = {2},
  year         = {2018}
}
@article{DBLP:journals/corr/abs-1801-09443,
  author       = {Murdoch James Gabbay},
  title        = {Equivariant {ZFA} and the foundations of nominal techniques},
  journal      = {CoRR},
  volume       = {abs/1801.09443},
  year         = {2018}
}
@article{DBLP:journals/corr/abs-1803-08727,
  author       = {Murdoch James Gabbay},
  title        = {Equivariant {ZFA} with Choice: a position paper},
  journal      = {CoRR},
  volume       = {abs/1803.08727},
  year         = {2018}
}
@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. Log.},
  volume       = {168},
  number       = {3},
  pages        = {501--621},
  year         = {2017}
}
@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}
}
@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}
}
@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}
}
@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    = {{CSL}},
  series       = {LIPIcs},
  volume       = {41},
  pages        = {374--389},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015}
}
@inproceedings{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},
  booktitle    = {{LSFA}},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {323},
  pages        = {39--56},
  publisher    = {Elsevier},
  year         = {2015}
}
@article{DBLP:journals/flap/GabbayG14,
  author       = {Michael Gabbay and
                  Murdoch Gabbay},
  title        = {A simple and complete model theory for intensional and extensional
                  untyped lambda-equality},
  journal      = {{FLAP}},
  volume       = {1},
  number       = {2},
  pages        = {83--106},
  year         = {2014}
}
@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}},
  series       = {EPiC Series in Computing},
  volume       = {42},
  pages        = {178--209},
  publisher    = {EasyChair},
  year         = {2014}
}
@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}
}
@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. Appl. Log.},
  volume       = {11},
  number       = {1},
  pages        = {1--29},
  year         = {2013}
}
@article{DBLP:journals/mscs/GabbayK13,
  author       = {Murdoch James Gabbay and
                  Peter H. Kropholler},
  title        = {Imaginary groups: lazy monoids and reversible computation},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {23},
  number       = {5},
  pages        = {1002--1031},
  year         = {2013}
}
@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}
}
@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}
}
@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}
}
@article{DBLP:journals/igpl/Gabbay12,
  author       = {Murdoch James Gabbay},
  title        = {Meta-variables as infinite lists in nominal terms unification and
                  rewriting},
  journal      = {Log. J. {IGPL}},
  volume       = {20},
  number       = {6},
  pages        = {967--1000},
  year         = {2012}
}
@article{DBLP:journals/japll/Gabbay12,
  author       = {Murdoch James Gabbay},
  title        = {Unity in nominal equational reasoning: The algebra of equality on
                  nominal sets},
  journal      = {J. Appl. Log.},
  volume       = {10},
  number       = {2},
  pages        = {199--217},
  year         = {2012}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/cilc/DowekG12,
  author       = {Gilles Dowek and
                  Murdoch James Gabbay},
  title        = {Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers,
                  and Limits},
  booktitle    = {{CILC}},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  pages        = {104--118},
  publisher    = {CEUR-WS.org},
  year         = {2012}
}
@inproceedings{DBLP:journals/entcs/CiminiMRG12,
  author       = {Matteo Cimini and
                  Mohammad Reza Mousavi and
                  Michel A. Reniers and
                  Murdoch James Gabbay},
  title        = {Nominal {SOS}},
  booktitle    = {{MFPS}},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {286},
  pages        = {103--116},
  publisher    = {Elsevier},
  year         = {2012}
}
@inproceedings{DBLP:journals/entcs/GabbayG12,
  author       = {Murdoch Gabbay and
                  Dan R. Ghica},
  title        = {Game Semantics in the Nominal Model},
  booktitle    = {{MFPS}},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {286},
  pages        = {173--189},
  publisher    = {Elsevier},
  year         = {2012}
}
@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}
}
@article{DBLP:journals/bsl/Gabbay11,
  author       = {Murdoch James Gabbay},
  title        = {Foundations of nominal techniques: logic and semantics of variables
                  in abstract syntax},
  journal      = {Bull. Symb. Log.},
  volume       = {17},
  number       = {2},
  pages        = {161--229},
  year         = {2011}
}
@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      = {Math. Struct. Comput. Sci.},
  volume       = {21},
  number       = {5},
  pages        = {997--1033},
  year         = {2011}
}
@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    = {{CALCO}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6859},
  pages        = {192--207},
  publisher    = {Springer},
  year         = {2011}
}
@inproceedings{DBLP:conf/fct/FairweatherFG11,
  author       = {Elliot Fairweather and
                  Maribel Fern{\'{a}}ndez and
                  Murdoch James Gabbay},
  title        = {Principal Types for Nominal Theories},
  booktitle    = {{FCT}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {160--172},
  publisher    = {Springer},
  year         = {2011}
}
@inproceedings{DBLP:conf/fossacs/GabbayC11,
  author       = {Murdoch James Gabbay and
                  Vincenzo Ciancia},
  title        = {Freshness and Name-Restriction in Sets of Traces with Names},
  booktitle    = {FoSSaCS},
  series       = {Lecture Notes in Computer Science},
  volume       = {6604},
  pages        = {365--380},
  publisher    = {Springer},
  year         = {2011}
}
@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    = {{LFMTP}},
  series       = {{EPTCS}},
  volume       = {71},
  pages        = {58--75},
  year         = {2011}
}
@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}
}
@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}
}
@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}
}
@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      = {Log. J. {IGPL}},
  volume       = {18},
  number       = {6},
  pages        = {769--822},
  year         = {2010}
}
@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}
}
@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    = {{LPAR} (Dakar)},
  series       = {Lecture Notes in Computer Science},
  volume       = {6355},
  pages        = {231--254},
  publisher    = {Springer},
  year         = {2010}
}
@inproceedings{DBLP:conf/ppdp/DowekG10,
  author       = {Gilles Dowek and
                  Murdoch James Gabbay},
  title        = {Permissive-nominal logic},
  booktitle    = {{PPDP}},
  pages        = {165--176},
  publisher    = {{ACM}},
  year         = {2010}
}
@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    = {{LFMTP}},
  series       = {{EPTCS}},
  volume       = {34},
  pages        = {37--51},
  year         = {2010}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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    = {{LFMTP}},
  pages        = {64--73},
  publisher    = {{ACM}},
  year         = {2009}
}
@article{DBLP:journals/fac/GabbayM08,
  author       = {Murdoch James Gabbay and
                  Aad Mathijssen},
  title        = {Capture-avoiding substitution as a nominal algebra},
  journal      = {Formal Aspects Comput.},
  volume       = {20},
  number       = {4-5},
  pages        = {451--479},
  year         = {2008}
}
@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}
}
@inproceedings{DBLP:conf/aisb/GabbayG08,
  author       = {Murdoch Gabbay and
                  Michael Gabbay},
  title        = {Substitution for Fraenkel-Mostowski foundations},
  booktitle    = {{AISB} Convention},
  series       = {Computing {\&} Philosophy},
  volume       = {12},
  pages        = {65--72},
  publisher    = {{AISB}},
  year         = {2008}
}
@inproceedings{DBLP:conf/lpar/GabbayH08,
  author       = {Murdoch James Gabbay and
                  Martin Hofmann},
  title        = {Nominal Renaming Sets},
  booktitle    = {{LPAR}},
  series       = {Lecture Notes in Computer Science},
  volume       = {5330},
  pages        = {158--173},
  publisher    = {Springer},
  year         = {2008}
}
@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    = {WoLLIC},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {179--193},
  publisher    = {Springer},
  year         = {2008}
}
@inproceedings{DBLP:journals/entcs/GabbayG09,
  author       = {Michael Gabbay and
                  Murdoch James Gabbay},
  title        = {Term Sequent Logic},
  booktitle    = {{WFLP}},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {246},
  pages        = {87--106},
  publisher    = {Elsevier},
  year         = {2008}
}
@inproceedings{DBLP:journals/entcs/GabbayM09,
  author       = {Murdoch James Gabbay and
                  Dominic P. Mulligan},
  title        = {Two-level Lambda-calculus},
  booktitle    = {{WFLP}},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {246},
  pages        = {107--129},
  publisher    = {Elsevier},
  year         = {2008}
}
@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}
}
@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}
}
@article{DBLP:journals/japll/Gabbay07,
  author       = {Murdoch Gabbay},
  title        = {Fresh Logic: proof-theory and semantics for {FM} and nominal techniques},
  journal      = {J. Appl. Log.},
  volume       = {5},
  number       = {2},
  pages        = {356--387},
  year         = {2007}
}
@inproceedings{DBLP:conf/wollic/GabbayM07,
  author       = {Murdoch Gabbay and
                  Aad Mathijssen},
  title        = {A Formal Calculus for Informal Equality with Binding},
  booktitle    = {WoLLIC},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {162--176},
  publisher    = {Springer},
  year         = {2007}
}
@inproceedings{DBLP:journals/entcs/GabbayG08,
  author       = {Murdoch Gabbay and
                  Michael Gabbay},
  title        = {a-Logic With Arrows},
  booktitle    = {WFLP@RDP},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {216},
  pages        = {3--29},
  publisher    = {Elsevier},
  year         = {2007}
}
@inproceedings{DBLP:journals/entcs/GabbayL08,
  author       = {Murdoch Gabbay and
                  St{\'{e}}phane Lengrand},
  title        = {The lambda-context Calculus},
  booktitle    = {LFMTP@CADE},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {196},
  pages        = {19--35},
  publisher    = {Elsevier},
  year         = {2007}
}
@inproceedings{DBLP:conf/ictac/GabbayM06,
  author       = {Murdoch Gabbay and
                  Aad Mathijssen},
  title        = {Capture-Avoiding Substitution as a Nominal Algebra},
  booktitle    = {{ICTAC}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4281},
  pages        = {198--212},
  publisher    = {Springer},
  year         = {2006}
}
@inproceedings{DBLP:conf/ppdp/GabbayM06,
  author       = {Murdoch Gabbay and
                  Aad Mathijssen},
  title        = {One-and-a-halfth-order logic},
  booktitle    = {{PPDP}},
  pages        = {189--200},
  publisher    = {{ACM}},
  year         = {2006}
}
@inproceedings{DBLP:conf/types/FernandezG06,
  author       = {Maribel Fern{\'{a}}ndez and
                  Murdoch Gabbay},
  title        = {Curry-Style Types for Nominal Terms},
  booktitle    = {{TYPES}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4502},
  pages        = {125--139},
  publisher    = {Springer},
  year         = {2006}
}
@inproceedings{DBLP:journals/entcs/Gabbay07,
  author       = {Murdoch Gabbay},
  title        = {Hierarchical Nominal Terms and Their Theory of Rewriting},
  booktitle    = {LFMTP@FLoC},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {5},
  pages        = {37--52},
  publisher    = {Elsevier},
  year         = {2006}
}
@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! {(1)}},
  pages        = {701--730},
  publisher    = {College Publications},
  year         = {2005}
}
@inproceedings{DBLP:conf/birthday/GabbayG05a,
  author       = {Murdoch Gabbay and
                  Michael Gabbay},
  title        = {a-logic},
  booktitle    = {We Will Show Them! {(1)}},
  pages        = {731--764},
  publisher    = {College Publications},
  year         = {2005}
}
@inproceedings{DBLP:conf/concur/MousaviGR05,
  author       = {Mohammad Reza Mousavi and
                  Murdoch Gabbay and
                  Michel A. Reniers},
  title        = {{SOS} for Higher Order Processes},
  booktitle    = {{CONCUR}},
  series       = {Lecture Notes in Computer Science},
  volume       = {3653},
  pages        = {308--322},
  publisher    = {Springer},
  year         = {2005}
}
@inproceedings{DBLP:conf/ppdp/FernandezG05,
  author       = {Maribel Fern{\'{a}}ndez and
                  Murdoch Gabbay},
  title        = {Nominal rewriting with name generation: abstraction vs. locality},
  booktitle    = {{PPDP}},
  pages        = {47--58},
  publisher    = {{ACM}},
  year         = {2005}
}
@inproceedings{DBLP:conf/ppdp/Gabbay05,
  author       = {Murdoch Gabbay},
  title        = {A new calculus of contexts},
  booktitle    = {{PPDP}},
  pages        = {94--105},
  publisher    = {{ACM}},
  year         = {2005}
}
@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}
}
@inproceedings{DBLP:conf/lics/GabbayC04,
  author       = {Murdoch Gabbay and
                  James Cheney},
  title        = {A Sequent Calculus for Nominal Logic},
  booktitle    = {{LICS}},
  pages        = {139--148},
  publisher    = {{IEEE} Computer Society},
  year         = {2004}
}
@inproceedings{DBLP:conf/ppdp/FernandezGM04,
  author       = {Maribel Fern{\'{a}}ndez and
                  Murdoch Gabbay and
                  Ian Mackie},
  title        = {Nominal rewriting systems},
  booktitle    = {{PPDP}},
  pages        = {108--119},
  publisher    = {{ACM}},
  year         = {2004}
}
@inproceedings{DBLP:conf/csl/UrbanPG03,
  author       = {Christian Urban and
                  Andrew M. Pitts and
                  Murdoch Gabbay},
  title        = {Nominal Unificaiton},
  booktitle    = {{CSL}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2803},
  pages        = {513--527},
  publisher    = {Springer},
  year         = {2003}
}
@inproceedings{DBLP:conf/icfp/ShinwellPG03,
  author       = {Mark R. Shinwell and
                  Andrew M. Pitts and
                  Murdoch Gabbay},
  title        = {FreshML: programming with binders made simple},
  booktitle    = {{ICFP}},
  pages        = {263--274},
  publisher    = {{ACM}},
  year         = {2003}
}
@article{DBLP:journals/fac/GabbayP02,
  author       = {Murdoch Gabbay and
                  Andrew M. Pitts},
  title        = {A New Approach to Abstract Syntax with Variable Binding},
  journal      = {Formal Aspects Comput.},
  volume       = {13},
  number       = {3-5},
  pages        = {341--363},
  year         = {2002}
}
@inproceedings{DBLP:conf/mpc/PittsG00,
  author       = {Andrew M. Pitts and
                  Murdoch Gabbay},
  title        = {A Metalanguage for Programming with Bound Names Modulo Renaming},
  booktitle    = {{MPC}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1837},
  pages        = {230--255},
  publisher    = {Springer},
  year         = {2000}
}
@inproceedings{DBLP:conf/lics/GabbayP99,
  author       = {Murdoch Gabbay and
                  Andrew M. Pitts},
  title        = {A New Approach to Abstract Syntax Involving Binders},
  booktitle    = {{LICS}},
  pages        = {214--224},
  publisher    = {{IEEE} Computer Society},
  year         = {1999}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics