Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Murdoch James Gabbay
@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},
url = {https://doi.org/10.48550/arXiv.2402.03253},
doi = {10.48550/ARXIV.2402.03253},
eprinttype = {arXiv},
eprint = {2402.03253},
timestamp = {Mon, 12 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-03253.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2303.09287},
doi = {10.48550/ARXIV.2303.09287},
eprinttype = {arXiv},
eprint = {2303.09287},
timestamp = {Mon, 20 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-09287.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2310.00956},
doi = {10.48550/ARXIV.2310.00956},
eprinttype = {arXiv},
eprint = {2310.00956},
timestamp = {Wed, 18 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-00956.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2312.15651},
doi = {10.48550/ARXIV.2312.15651},
eprinttype = {arXiv},
eprint = {2312.15651},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-15651.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2312.16239},
doi = {10.48550/ARXIV.2312.16239},
eprinttype = {arXiv},
eprint = {2312.16239},
timestamp = {Thu, 18 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-16239.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2312.16480},
doi = {10.48550/ARXIV.2312.16480},
eprinttype = {arXiv},
eprint = {2312.16480},
timestamp = {Thu, 18 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-16480.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2312.16487},
doi = {10.48550/ARXIV.2312.16487},
eprinttype = {arXiv},
eprint = {2312.16487},
timestamp = {Thu, 18 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-16487.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1017/S0960129521000438},
doi = {10.1017/S0960129521000438},
timestamp = {Mon, 08 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Gabbay21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GabbayJS21,
author = {Murdoch James Gabbay and
Arvid Jakobsson and
Kristina Sojakova},
editor = {Bruno Bernardo and
Diego Marmsoler},
title = {Money Grows on (Proof-)Trees: The Formal {FA1.2} Ledger Standard},
booktitle = {3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV
2021, July 18-19, 2021, Los Angeles, California, {USA} (Virtual Conference)},
series = {OASIcs},
volume = {95},
pages = {2:1--2:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/OASIcs.FMBC.2021.2},
doi = {10.4230/OASICS.FMBC.2021.2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GabbayJS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://arxiv.org/abs/2109.09451},
eprinttype = {arXiv},
eprint = {2109.09451},
timestamp = {Mon, 27 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-09451.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1093/logcom/exz015},
doi = {10.1093/LOGCOM/EXZ015},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Gabbay20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BrunjesG20,
author = {Lars Br{\"{u}}njes and
Murdoch James Gabbay},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {UTxO- vs Account-Based Smart Contract Blockchain Programming Paradigms},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {73--88},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_6},
doi = {10.1007/978-3-030-61467-6\_6},
timestamp = {Wed, 28 Oct 2020 11:47:58 +0100},
biburl = {https://dblp.org/rec/conf/isola/BrunjesG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://arxiv.org/abs/2003.14271},
eprinttype = {arXiv},
eprint = {2003.14271},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-14271.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://arxiv.org/abs/2007.12404},
eprinttype = {arXiv},
eprint = {2007.12404},
timestamp = {Wed, 29 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-12404.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://arxiv.org/abs/2007.13346},
eprinttype = {arXiv},
eprint = {2007.13346},
timestamp = {Wed, 29 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-13346.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.23638/LMCS-14(2:12)2018},
doi = {10.23638/LMCS-14(2:12)2018},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Gabbay18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://arxiv.org/abs/1801.09443},
eprinttype = {arXiv},
eprint = {1801.09443},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-09443.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://arxiv.org/abs/1803.08727},
eprinttype = {arXiv},
eprint = {1803.08727},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-08727.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1016/j.apal.2016.10.001},
doi = {10.1016/J.APAL.2016.10.001},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GabbayG17.bib},
bibsource = {dblp computer science bibliography, https://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},
eprinttype = {arXiv},
eprint = {1705.07767},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Gabbay17.bib},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1145/2700819},
doi = {10.1145/2700819},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Gabbay16.bib},
bibsource = {dblp computer science bibliography, https://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 = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/GabbayW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GabbayGP15,
author = {Murdoch James Gabbay and
Dan R. Ghica and
Daniela Petrisan},
editor = {Stephan Kreutzer},
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},
series = {LIPIcs},
volume = {41},
pages = {374--389},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CSL.2015.374},
doi = {10.4230/LIPICS.CSL.2015.374},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/GabbayGP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {Checking Overlaps of Nominal Rewriting Rules},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {39--56},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.004},
doi = {10.1016/J.ENTCS.2016.06.004},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Ayala-RinconFGO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://www.collegepublications.co.uk/downloads/ifcolog00002.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/GabbayG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/birthday/Gabbay14a,
author = {Murdoch James Gabbay},
editor = {Andrei Voronkov and
Margarita V. Korovina},
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},
series = {EPiC Series in Computing},
volume = {42},
pages = {178--209},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/tp3z},
doi = {10.29007/TP3Z},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Gabbay14a.bib},
bibsource = {dblp computer science bibliography, https://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},
eprinttype = {arXiv},
eprint = {1406.4060},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Gabbay14.bib},
bibsource = {dblp computer science bibliography, https://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. Appl. Log.},
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 = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/GabbayN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1017/S0960129512000849},
doi = {10.1017/S0960129512000849},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/GabbayK13.bib},
bibsource = {dblp computer science bibliography, https://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},
eprinttype = {arXiv},
eprint = {1305.5968},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-5968.bib},
bibsource = {dblp computer science bibliography, https://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},
eprinttype = {arXiv},
eprint = {1305.6291},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-6291.bib},
bibsource = {dblp computer science bibliography, https://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 = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GabbayM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1093/jigpal/jzs005},
doi = {10.1093/JIGPAL/JZS005},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Gabbay12.bib},
bibsource = {dblp computer science bibliography, https://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. Appl. Log.},
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 = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Gabbay12.bib},
bibsource = {dblp computer science bibliography, https://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 = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Gabbay12.bib},
bibsource = {dblp computer science bibliography, https://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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DowekG12.bib},
bibsource = {dblp computer science bibliography, https://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 = {https://doi.org/10.1145/2287718.2287720},
doi = {10.1145/2287718.2287720},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/DowekG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/DowekG12,
author = {Gilles Dowek and
Murdoch James Gabbay},
editor = {Francesca A. Lisi},
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},
series = {{CEUR} Workshop Proceedings},
volume = {857},
pages = {104--118},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-857/paper\_f08.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/DowekG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CiminiMRG12,
author = {Matteo Cimini and
Mohammad Reza Mousavi and
Michel A. Reniers and
Murdoch James Gabbay},
editor = {Ulrich Berger and
Michael W. Mislove},
title = {Nominal {SOS}},
booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {286},
pages = {103--116},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2012.08.008},
doi = {10.1016/J.ENTCS.2012.08.008},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CiminiMRG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GabbayG12,
author = {Murdoch Gabbay and
Dan R. Ghica},
editor = {Ulrich Berger and
Michael W. Mislove},
title = {Game Semantics in the Nominal Model},
booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {286},
pages = {173--189},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2012.08.012},
doi = {10.1016/J.ENTCS.2012.08.012},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GabbayG12.bib},
bibsource = {dblp computer science bibliography, https://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},
eprinttype = {arXiv},
eprint = {1202.0904},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-0904.bib},
bibsource = {dblp computer science bibliography, https://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 = {Bull. Symb. Log.},
volume = {17},
number = {2},
pages = {161--229},
year = {2011},
url = {https://doi.org/10.2178/bsl/1305810911},
doi = {10.2178/BSL/1305810911},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Gabbay11.bib},
bibsource = {dblp computer science bibliography, https://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 = {Math. Struct. Comput. Sci.},
volume = {21},
number = {5},
pages = {997--1033},
year = {2011},
url = {https://doi.org/10.1017/S0960129511000272},
doi = {10.1017/S0960129511000272},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/Gabbay11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/GabbayLP11,
author = {Murdoch James Gabbay and
Tadeusz Litak and
Daniela Petrisan},
editor = {Andrea Corradini and
Bartek Klin and
Corina C{\^{\i}}rstea},
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},
series = {Lecture Notes in Computer Science},
volume = {6859},
pages = {192--207},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22944-2\_14},
doi = {10.1007/978-3-642-22944-2\_14},
timestamp = {Fri, 09 Apr 2021 18:48:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/GabbayLP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/FairweatherFG11,
author = {Elliot Fairweather and
Maribel Fern{\'{a}}ndez and
Murdoch James Gabbay},
editor = {Olaf Owe and
Martin Steffen and
Jan Arne Telle},
title = {Principal Types for Nominal Theories},
booktitle = {Fundamentals of Computation Theory - 18th International Symposium,
{FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6914},
pages = {160--172},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22953-4\_14},
doi = {10.1007/978-3-642-22953-4\_14},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/FairweatherFG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GabbayC11,
author = {Murdoch James Gabbay and
Vincenzo Ciancia},
editor = {Martin Hofmann},
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},
series = {Lecture Notes in Computer Science},
volume = {6604},
pages = {365--380},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19805-2\_25},
doi = {10.1007/978-3-642-19805-2\_25},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/GabbayC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1111-0089,
author = {Murdoch James Gabbay and
Dominic P. Mulligan},
editor = {Herman Geuvers and
Gopalan Nadathur},
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},
series = {{EPTCS}},
volume = {71},
pages = {58--75},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.71.5},
doi = {10.4204/EPTCS.71.5},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-0089.bib},
bibsource = {dblp computer science bibliography, https://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},
eprinttype = {arXiv},
eprint = {1111.4611},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-4611.bib},
bibsource = {dblp computer science bibliography, https://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},
eprinttype = {arXiv},
eprint = {1112.0923},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-0923.bib},
bibsource = {dblp computer science bibliography, https://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 = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GabbayM10.bib},
bibsource = {dblp computer science bibliography, https://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 = {Log. J. {IGPL}},
volume = {18},
number = {6},
pages = {769--822},
year = {2010},
url = {https://doi.org/10.1093/jigpal/jzq006},
doi = {10.1093/JIGPAL/JZQ006},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/DowekGM10.bib},
bibsource = {dblp computer science bibliography, https://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 = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/GabbayM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GabbayG10,
author = {Michael Gabbay and
Murdoch James Gabbay},
editor = {Edmund M. Clarke and
Andrei Voronkov},
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},
series = {Lecture Notes in Computer Science},
volume = {6355},
pages = {231--254},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17511-4\_14},
doi = {10.1007/978-3-642-17511-4\_14},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GabbayG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/DowekG10,
author = {Gilles Dowek and
Murdoch James Gabbay},
editor = {Temur Kutsia and
Wolfgang Schreiner and
Maribel Fern{\'{a}}ndez},
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},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1836089.1836111},
doi = {10.1145/1836089.1836111},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/DowekG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-2791,
author = {Maribel Fern{\'{a}}ndez and
Murdoch James Gabbay},
editor = {Karl Crary and
Marino Miculan},
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},
series = {{EPTCS}},
volume = {34},
pages = {37--51},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.34.5},
doi = {10.4204/EPTCS.34.5},
timestamp = {Mon, 05 Feb 2024 20:18:33 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-2791.bib},
bibsource = {dblp computer science bibliography, https://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 = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GabbayL09.bib},
bibsource = {dblp computer science bibliography, https://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 = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Gabbay09.bib},
bibsource = {dblp computer science bibliography, https://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 = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/GabbayM09.bib},
bibsource = {dblp computer science bibliography, https://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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Gabbay09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfmtp/GabbayM09,
author = {Murdoch James Gabbay and
Dominic P. Mulligan},
editor = {James Cheney and
Amy P. Felty},
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},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1577824.1577835},
doi = {10.1145/1577824.1577835},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfmtp/GabbayM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1007/s00165-007-0056-1},
doi = {10.1007/S00165-007-0056-1},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GabbayM08.bib},
bibsource = {dblp computer science bibliography, https://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 = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/GabbayM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisb/GabbayG08,
author = {Murdoch Gabbay and
Michael Gabbay},
editor = {Frank Guerin and
Wamberto Weber Vasconcelos},
title = {Substitution for Fraenkel-Mostowski foundations},
booktitle = {{AISB} 2008 Convention: Communication, Interaction and Social Intelligence,
1st-4th April 2008, University of Aberdeen, {UK}},
series = {Computing {\&} Philosophy},
volume = {12},
pages = {65--72},
publisher = {{AISB}},
year = {2008},
url = {http://www.aisb.org.uk/convention/aisb08/proc/proceedings/12\%20Computing\%20and\%20Philosophy/10.pdf},
timestamp = {Thu, 21 Jun 2018 07:20:39 +0200},
biburl = {https://dblp.org/rec/conf/aisb/GabbayG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GabbayH08,
author = {Murdoch James Gabbay and
Martin Hofmann},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Nominal Renaming Sets},
booktitle = {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},
pages = {158--173},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_11},
doi = {10.1007/978-3-540-89439-1\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GabbayH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/GabbayM08,
author = {Murdoch Gabbay and
Dominic P. Mulligan},
editor = {Wilfrid Hodges and
Ruy J. G. B. de Queiroz},
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},
series = {Lecture Notes in Computer Science},
volume = {5110},
pages = {179--193},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69937-8\_16},
doi = {10.1007/978-3-540-69937-8\_16},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/GabbayM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GabbayG09,
author = {Michael Gabbay and
Murdoch James Gabbay},
editor = {Moreno Falaschi},
title = {Term Sequent Logic},
booktitle = {Proceedings of the 17th International Workshop on Functional and (Constraint)
Logic Programming, {WFLP} 2008, Siena, Italy, July 3-4, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {246},
pages = {87--106},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.017},
doi = {10.1016/J.ENTCS.2009.07.017},
timestamp = {Thu, 09 Mar 2023 14:45:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GabbayG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GabbayM09,
author = {Murdoch James Gabbay and
Dominic P. Mulligan},
editor = {Moreno Falaschi},
title = {Two-level Lambda-calculus},
booktitle = {Proceedings of the 17th International Workshop on Functional and (Constraint)
Logic Programming, {WFLP} 2008, Siena, Italy, July 3-4, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {246},
pages = {107--129},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.018},
doi = {10.1016/J.ENTCS.2009.07.018},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GabbayM09.bib},
bibsource = {dblp computer science bibliography, https://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 = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FernandezG07.bib},
bibsource = {dblp computer science bibliography, https://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 = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Gabbay07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1016/j.jal.2005.10.012},
doi = {10.1016/J.JAL.2005.10.012},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Gabbay07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/GabbayM07,
author = {Murdoch Gabbay and
Aad Mathijssen},
editor = {Daniel Leivant and
Ruy J. G. B. de Queiroz},
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},
series = {Lecture Notes in Computer Science},
volume = {4576},
pages = {162--176},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73445-1\_12},
doi = {10.1007/978-3-540-73445-1\_12},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/GabbayM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GabbayG08,
author = {Murdoch Gabbay and
Michael Gabbay},
editor = {Rachid Echahed},
title = {a-Logic With Arrows},
booktitle = {Proceedings of the 16th International Workshop on Functional and (Constraint)
Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {216},
pages = {3--29},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.06.031},
doi = {10.1016/J.ENTCS.2008.06.031},
timestamp = {Fri, 17 Feb 2023 10:24:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GabbayG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GabbayL08,
author = {Murdoch Gabbay and
St{\'{e}}phane Lengrand},
editor = {Brigitte Pientka and
Carsten Sch{\"{u}}rmann},
title = {The lambda-context Calculus},
booktitle = {Proceedings of the Second International Workshop on Logical Frameworks
and Meta-Languages: Theory and Practice, LFMTP@CADE 2007, Bremen,
Germany, July 15, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {196},
pages = {19--35},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.09.015},
doi = {10.1016/J.ENTCS.2007.09.015},
timestamp = {Thu, 09 Feb 2023 11:15:18 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GabbayL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/GabbayM06,
author = {Murdoch Gabbay and
Aad Mathijssen},
editor = {Kamel Barkaoui and
Ana Cavalcanti and
Antonio Cerone},
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},
series = {Lecture Notes in Computer Science},
volume = {4281},
pages = {198--212},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11921240\_14},
doi = {10.1007/11921240\_14},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/ictac/GabbayM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/GabbayM06,
author = {Murdoch Gabbay and
Aad Mathijssen},
editor = {Annalisa Bossi and
Michael J. Maher},
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},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1140335.1140359},
doi = {10.1145/1140335.1140359},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/GabbayM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/FernandezG06,
author = {Maribel Fern{\'{a}}ndez and
Murdoch Gabbay},
editor = {Thorsten Altenkirch and
Conor McBride},
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},
series = {Lecture Notes in Computer Science},
volume = {4502},
pages = {125--139},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74464-1\_9},
doi = {10.1007/978-3-540-74464-1\_9},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/FernandezG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Gabbay07,
author = {Murdoch Gabbay},
editor = {Alberto Momigliano and
Brigitte Pientka},
title = {Hierarchical Nominal Terms and Their Theory of Rewriting},
booktitle = {Proceedings of the First International Workshop on Logical Frameworks
and Meta-Languages: Theory and Practice, LFMTP@FLoC 2006, Seattle,
WA, USA, August 16, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {5},
pages = {37--52},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.01.017},
doi = {10.1016/J.ENTCS.2007.01.017},
timestamp = {Fri, 27 Jan 2023 13:31:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Gabbay07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GabbayG05,
author = {Michael Gabbay and
Murdoch Gabbay},
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 = {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},
publisher = {College Publications},
year = {2005},
timestamp = {Thu, 09 Jul 2020 09:13:39 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GabbayG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GabbayG05a,
author = {Murdoch Gabbay and
Michael Gabbay},
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 = {a-logic},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {731--764},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GabbayG05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MousaviGR05,
author = {Mohammad Reza Mousavi and
Murdoch Gabbay and
Michel A. Reniers},
editor = {Mart{\'{\i}}n Abadi and
Luca de Alfaro},
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},
series = {Lecture Notes in Computer Science},
volume = {3653},
pages = {308--322},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539452\_25},
doi = {10.1007/11539452\_25},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/MousaviGR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/FernandezG05,
author = {Maribel Fern{\'{a}}ndez and
Murdoch Gabbay},
editor = {Pedro Barahona and
Amy P. Felty},
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},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1069774.1069779},
doi = {10.1145/1069774.1069779},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/FernandezG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Gabbay05,
author = {Murdoch Gabbay},
editor = {Pedro Barahona and
Amy P. Felty},
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},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1069774.1069783},
doi = {10.1145/1069774.1069783},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Gabbay05.bib},
bibsource = {dblp computer science bibliography, https://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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/UrbanPG04.bib},
bibsource = {dblp computer science bibliography, https://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},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/LICS.2004.1319608},
doi = {10.1109/LICS.2004.1319608},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GabbayC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/FernandezGM04,
author = {Maribel Fern{\'{a}}ndez and
Murdoch Gabbay and
Ian Mackie},
editor = {Eugenio Moggi and
David Scott Warren},
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},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1013963.1013978},
doi = {10.1145/1013963.1013978},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/FernandezGM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/UrbanPG03,
author = {Christian Urban and
Andrew M. Pitts and
Murdoch Gabbay},
editor = {Matthias Baaz and
Johann A. Makowsky},
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},
series = {Lecture Notes in Computer Science},
volume = {2803},
pages = {513--527},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45220-1\_41},
doi = {10.1007/978-3-540-45220-1\_41},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/UrbanPG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ShinwellPG03,
author = {Mark R. Shinwell and
Andrew M. Pitts and
Murdoch Gabbay},
editor = {Colin Runciman and
Olin Shivers},
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},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/944705.944729},
doi = {10.1145/944705.944729},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ShinwellPG03.bib},
bibsource = {dblp computer science bibliography, https://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 Aspects Comput.},
volume = {13},
number = {3-5},
pages = {341--363},
year = {2002},
url = {https://doi.org/10.1007/s001650200016},
doi = {10.1007/S001650200016},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GabbayP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/PittsG00,
author = {Andrew M. Pitts and
Murdoch Gabbay},
editor = {Roland Carl Backhouse and
Jos{\'{e}} Nuno Oliveira},
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},
series = {Lecture Notes in Computer Science},
volume = {1837},
pages = {230--255},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722010\_15},
doi = {10.1007/10722010\_15},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/PittsG00.bib},
bibsource = {dblp computer science bibliography, https://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},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/LICS.1999.782617},
doi = {10.1109/LICS.1999.782617},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GabbayP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-13 19:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
