Murdoch James Gabbay

62 papers B 6C 1Journal 44Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Semiframes: the algebra of semitopologies and actionable coalitions. Math. Struct. Comput. Sci. Murdoch James Gabbay
2025	J	`jnl`	A declarative approach to specifying distributed algorithms using three-valued modal logic. CoRR Murdoch James Gabbay, Luca Zanolini
2025	J	`jnl`	Decentralised collaborative action: cryptoeconomics in space. CoRR Murdoch James Gabbay
2025	J	`jnl`	Declarative distributed broadcast using three-valued modal logic and semitopologies. CoRR Murdoch James Gabbay
2025	J	`jnl`	Semitopology: a topological approach to decentralized collaborative action. J. Log. Comput. Murdoch James Gabbay
2024	J	`jnl`	Arithmetisation of computation via polynomial semantics for first-order logic. IACR Cryptol. ePrint Arch. Murdoch James Gabbay
2024	J	`jnl`	Semitopology: distributed collaborative action via topology, algebra, and logic. CoRR Murdoch James Gabbay, Giuliano Losa
2023	J	`jnl`	Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits. CoRR Gilles Dowek, Murdoch James Gabbay
2023	J	`jnl`	PNL to HOL: from the logic of nominal sets to the logic of higher-order functions. CoRR Gilles Dowek, Murdoch James Gabbay
2023	J	`jnl`	Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques. CoRR Gilles Dowek, Murdoch James Gabbay, Dominic P. Mulligan
2023	J	`jnl`	Permissive-Nominal Logic (journal version). CoRR Gilles Dowek, Murdoch James Gabbay
2021	J	`jnl`	Algebras of UTxO blockchains. Math. Struct. Comput. Sci. Murdoch James Gabbay
2021	—	`conf`	Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard. FMBC@CAV Murdoch James Gabbay, Arvid Jakobsson, Kristina Sojakova
2020	—	`conf`	UTxO- vs Account-Based Smart Contract Blockchain Programming Paradigms. ISoLA (3) Lars Brünjes, Murdoch James Gabbay
2020	J	`jnl`	UTxO- vs account-based smart contract blockchain programming paradigms. CoRR Lars Brünjes, Murdoch James Gabbay
2020	J	`jnl`	What is an EUTxO blockchain? CoRR Murdoch James Gabbay
2018	J	`jnl`	Equivariant ZFA and the foundations of nominal techniques. CoRR Murdoch James Gabbay
2018	J	`jnl`	Equivariant ZFA with Choice: a position paper. CoRR Murdoch James Gabbay
2018	J	`jnl`	The language of Stratified Sets is confluent and strongly normalising. Log. Methods Comput. Sci. Murdoch James Gabbay
2017	J	`jnl`	Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness. Ann. Pure Appl. Log. Murdoch James Gabbay, Michael Gabbay
2017	J	`jnl`	The language of Stratified Sets is confluent and strongly normalising. CoRR Murdoch James Gabbay
2016	J	`jnl`	Semantics Out of Context: Nominal Absolute Denotations for First-Order Logic and Computation. J. ACM Murdoch James Gabbay
2015	—	`conf`	Checking Overlaps of Nominal Rewriting Rules. LSFA Mauricio Ayala-Rincón, Maribel Fernández, Murdoch James Gabbay, Ana Cristina Rocha Oliveira
2015	B	`conf`	Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes. CSL Murdoch James Gabbay, Dan R. Ghica, Daniela Petrisan
2015	J	`jnl`	Quantifiers in logic and proof-search using permissive-nominal terms and sets. J. Log. Comput. Murdoch James Gabbay, Claus-Peter Wirth
2014	J	`jnl`	Consistency of Quine's New Foundations using nominal techniques. CoRR Murdoch James Gabbay
2014	—	`ch.`	Stone duality for first-order logic: a nominal approach to logic and topology. HOWARD-60 Murdoch James Gabbay
2013	J	`jnl`	Denotation of contextual modal type theory (CMTT): Syntax and meta-programming. J. Appl. Log. Murdoch James Gabbay, Aleksandar Nanevski
2013	J	`jnl`	Imaginary groups: lazy monoids and reversible computation. Math. Struct. Comput. Sci. Murdoch James Gabbay, Peter H. Kropholler
2013	J	`jnl`	Representation and duality of the CoRR Murdoch James Gabbay, Michael Gabbay
2013	J	`jnl`	Semantics out of context: nominal absolute denotations for first-order logic and computation CoRR Murdoch James Gabbay
2012	J	`jnl`	Corrigendum to "Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms" [Inf.Comput.208(3)(2010) 230-258]. Inf. Comput. Murdoch James Gabbay, Dominic P. Mulligan
2012	J	`jnl`	Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free. J. Symb. Log. Murdoch James Gabbay
2012	J	`jnl`	Meta-variables as infinite lists in nominal terms unification and rewriting. Log. J. IGPL Murdoch James Gabbay
2012	B	`conf`	Nominal SOS. MFPS Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch James Gabbay
2012	—	`conf`	Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers, and Limits. CILC Gilles Dowek, Murdoch James Gabbay
2012	J	`jnl`	PNL to HOL: From the logic of nominal sets to the logic of higher-order functions. Theor. Comput. Sci. Gilles Dowek, Murdoch James Gabbay
2012	J	`jnl`	Permissive-nominal logic: First-order logic over nominal terms and sets. ACM Trans. Comput. Log. Gilles Dowek, Murdoch James Gabbay
2012	J	`jnl`	Unity in nominal equational reasoning: The algebra of equality on nominal sets. J. Appl. Log. Murdoch James Gabbay
2011	J	`jnl`	Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free CoRR Murdoch James Gabbay
2011	J	`jnl`	Foundations of nominal techniques: logic and semantics of variables in abstract syntax. Bull. Symb. Log. Murdoch James Gabbay
2011	B	`conf`	Freshness and Name-Restriction in Sets of Traces with Names. FoSSaCS Murdoch James Gabbay, Vincenzo Ciancia
2011	—	`conf`	Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets LFMTP Murdoch James Gabbay, Dominic P. Mulligan
2011	B	`conf`	Principal Types for Nominal Theories. FCT Elliot Fairweather, Maribel Fernández, Murdoch James Gabbay
2011	B	`conf`	Stone Duality for Nominal Boolean Algebras with И. CALCO Murdoch James Gabbay, Tadeusz Litak, Daniela Petrisan
2011	J	`jnl`	Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables. Math. Struct. Comput. Sci. Murdoch James Gabbay
2010	J	`jnl`	A Nominal Axiomatization of the Lambda Calculus. J. Log. Comput. Murdoch James Gabbay, Aad Mathijssen
2010	—	`conf`	A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing. LPAR (Dakar) Michael Gabbay, Murdoch James Gabbay
2010	—	`conf`	Closed nominal rewriting and efficiently computable nominal algebra equality LFMTP Maribel Fernández, Murdoch James Gabbay
2010	J	`jnl`	Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms. Inf. Comput. Murdoch James Gabbay, Dominic P. Mulligan
2010	J	`jnl`	Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques. Log. J. IGPL Gilles Dowek, Murdoch James Gabbay, Dominic P. Mulligan
2010	C	`conf`	Permissive-nominal logic. PPDP Gilles Dowek, Murdoch James Gabbay
2009	J	`jnl`	A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets. Theor. Comput. Sci. Murdoch James Gabbay
2009	J	`jnl`	Nominal (Universal) Algebra: Equational Logic with Names and Binding. J. Log. Comput. Murdoch James Gabbay, Aad Mathijssen
2009	J	`jnl`	Nominal Algebra and the HSP Theorem. J. Log. Comput. Murdoch James Gabbay
2009	J	`jnl`	The lambda-context calculus (extended version). Inf. Comput. Murdoch James Gabbay, Stéphane Lengrand
2009	—	`conf`	Universal algebra over lambda-terms and nominal terms: the connection in logic between nominal techniques and higher-order variables. LFMTP Murdoch James Gabbay, Dominic P. Mulligan
2008	J	`jnl`	Capture-avoiding substitution as a nominal algebra. Formal Aspects Comput. Murdoch James Gabbay, Aad Mathijssen
2008	B	`conf`	Nominal Renaming Sets. LPAR Murdoch James Gabbay, Martin Hofmann
2008	J	`jnl`	One-and-a-halfth-order Logic. J. Log. Comput. Murdoch James Gabbay, Aad Mathijssen
2008	—	`conf`	Term Sequent Logic. WFLP Michael Gabbay, Murdoch James Gabbay
2008	—	`conf`	Two-level Lambda-calculus. WFLP Murdoch James Gabbay, Dominic P. Mulligan