Murdoch James Gabbay

Available identifiers

zbMath Open gabbay.murdoch-jamesMaRDI QIDQ1744403

List of research outcomes

Publication	Date of Publication	Type
Algebras of UTxO blockchains	2022-06-24	Paper
Equivariant ZFA and the foundations of nominal techniques	2020-06-04	Paper
Semantics Out of Context	2018-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q4643959	2018-05-30	Paper
Checking overlaps of nominal rewriting rules	2018-04-23	Paper
Equivariant ZFA with Choice: a position paper	2018-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q5351969	2017-08-31	Paper
Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness	2016-12-23	Paper
Nominal SOS	2016-07-08	Paper
Game Semantics in the Nominal Model	2016-07-08	Paper
Quantifiers in logic and proof-search using permissive-nominal terms and sets	2015-10-20	Paper
Permissive-nominal logic	2015-09-17	Paper
FreshML	2015-07-02	Paper
Two-level Lambda-calculus	2015-04-09	Paper
Consistency of Quine's New Foundations	2014-06-16	Paper
a-Logic With Arrows	2014-03-26	Paper
Imaginary groups: lazy monoids and reversible computation	2014-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q2871858	2014-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q2871868	2014-01-10	Paper
Denotation of contextual modal type theory (CMTT): syntax and meta-programming	2013-05-02	Paper
Meta-variables as infinite lists in nominal terms unification and rewriting	2013-04-17	Paper
PNL to HOL: from the logic of nominal sets to the logic of higher-order functions	2012-10-11	Paper
Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free	2012-09-19	Paper
Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms	2012-05-24	Paper
Unity in nominal equational reasoning: the algebra of equality on nominal sets	2012-05-23	Paper
Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables	2011-10-21	Paper
Stone Duality for Nominal Boolean Algebras with И	2011-09-02	Paper
Principal Types for Nominal Theories	2011-08-19	Paper
Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax	2011-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3007265	2011-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q3007266	2011-06-21	Paper
Freshness and Name-Restriction in Sets of Traces with Names	2011-05-19	Paper
https://portal.mardi4nfdi.de/entity/Q3086783	2011-03-30	Paper
A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing	2011-01-07	Paper
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques	2010-12-14	Paper
A Nominal Axiomatization of the Lambda Calculus	2010-04-21	Paper
Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms	2010-04-14	Paper
Nominal (Universal) Algebra: Equational Logic with Names and Binding	2010-01-14	Paper
The lambda-context calculus (extended version)	2009-12-11	Paper
Nominal Algebra and the HSP Theorem	2009-04-16	Paper
A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets	2009-03-25	Paper
Curry-Style Types for Nominal Terms	2009-03-10	Paper
A Formal Calculus for Informal Equality with Binding	2009-03-10	Paper
Nominal Renaming Sets	2009-01-27	Paper
Capture-Avoiding Substitution as a Nominal Algebra	2008-09-11	Paper
Capture-avoiding substitution as a nominal algebra	2008-08-21	Paper
One-and-a-halfth-order Logic	2008-08-15	Paper
One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations	2008-07-10	Paper
Fresh logic: Proof-theory and semantics for FM and nominal techniques	2007-07-25	Paper
Nominal rewriting	2007-07-16	Paper
A general mathematics of names	2007-07-16	Paper
Computer Science Logic	2007-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4664925	2005-04-09	Paper
Nominal unification	2004-10-01	Paper
A new approach to abstract syntax with variable binding	2002-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2721104	2001-07-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Murdoch James Gabbay