The following pages link to Murdoch James Gabbay (Q1744403):
Displayed 50 items.
- (Q418156) (redirect page) (← links)
- Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms'' (Q418158) (← links)
- Unity in nominal equational reasoning: the algebra of equality on nominal sets (Q420858) (← links)
- A new approach to abstract syntax with variable binding (Q699761) (← links)
- PNL to HOL: from the logic of nominal sets to the logic of higher-order functions (Q714797) (← links)
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- Capture-avoiding substitution as a nominal algebra (Q939160) (← links)
- Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms (Q964000) (← links)
- A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets (Q1006642) (← links)
- The lambda-context calculus (extended version) (Q1044184) (← links)
- Checking overlaps of nominal rewriting rules (Q1744404) (← links)
- Nominal unification (Q1882909) (← links)
- Denotation of contextual modal type theory (CMTT): syntax and meta-programming (Q1948284) (← links)
- Fresh logic: Proof-theory and semantics for FM and nominal techniques (Q2372191) (← links)
- Nominal rewriting (Q2373703) (← links)
- A general mathematics of names (Q2373874) (← links)
- (Q2721104) (← links)
- (Q2871858) (← links)
- (Q2871868) (← links)
- Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free (Q2915895) (← links)
- Permissive-nominal logic (Q2946669) (← links)
- Freshness and Name-Restriction in Sets of Traces with Names (Q3000621) (← links)
- (Q3007265) (← links)
- (Q3007266) (← links)
- Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax (Q3011103) (← links)
- Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques (Q3061275) (← links)
- A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing (Q3066102) (← links)
- (Q3086783) (← links)
- Principal Types for Nominal Theories (Q3088280) (← links)
- Stone Duality for Nominal Boolean Algebras with И (Q3090869) (← links)
- Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables (Q3094165) (← links)
- Semantics Out of Context (Q3177798) (← links)
- Nominal SOS (Q3178277) (← links)
- Game Semantics in the Nominal Model (Q3178282) (← links)
- Quantifiers in logic and proof-search using permissive-nominal terms and sets (Q3195622) (← links)
- One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations (Q3511457) (← links)
- One-and-a-halfth-order Logic (Q3520234) (← links)
- Capture-Avoiding Substitution as a Nominal Algebra (Q3525150) (← links)
- A Nominal Axiomatization of the Lambda Calculus (Q3553919) (← links)
- Curry-Style Types for Nominal Terms (Q3612440) (← links)
- A Formal Calculus for Informal Equality with Binding (Q3612660) (← links)
- Nominal Algebra and the HSP Theorem (Q3623222) (← links)
- Nominal (Universal) Algebra: Equational Logic with Names and Binding (Q3656778) (← links)
- (Q4643959) (← links)
- (Q4664925) (← links)
- Meta-variables as infinite lists in nominal terms unification and rewriting (Q4913996) (← links)
- Two-level Lambda-calculus (Q4982628) (← links)
- Algebras of UTxO blockchains (Q5084313) (← links)
- Equivariant ZFA and the foundations of nominal techniques (Q5112646) (← links)
- FreshML (Q5261281) (← links)