Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX 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} }
@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} }
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.