Nominal (Universal) Algebra: Equational Logic with Names and Binding
From MaRDI portal
Publication:3656778
DOI10.1093/logcom/exp033zbMath1191.08003OpenAlexW2105683431MaRDI QIDQ3656778
Aad Mathijssen, Murdoch James Gabbay
Publication date: 14 January 2010
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/2cecfcfd89db6d6c046736719104e571f927288e
Logic in computer science (03B70) Applications of universal algebra in computer science (08A70) Equational classes, universal algebra in model theory (03C05)
Related Items
Nominal lambda calculus: an internal language for FM-Cartesian closed categories ⋮ Completeness of Nominal PROPs ⋮ Binding in Nominal Equational Logic ⋮ New ⋮ Binary Session Types for Psi-Calculi ⋮ Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free ⋮ Unnamed Item ⋮ Nominal syntax with atom substitutions ⋮ Equivariant unification ⋮ Unity in nominal equational reasoning: the algebra of equality on nominal sets ⋮ Unnamed Item ⋮ On solving nominal disunification constraints ⋮ Nominal Lawvere theories: a category theoretic account of equational theories with names ⋮ Nominal equational problems ⋮ The First-Order Nominal Link ⋮ A dependent type theory with abstractable names ⋮ PNL to HOL: from the logic of nominal sets to the logic of higher-order functions ⋮ Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness ⋮ Distilling the requirements of Gödel's incompleteness theorems with a proof assistant ⋮ Principal Types for Nominal Theories ⋮ A formally verified abstract account of Gödel's incompleteness theorems ⋮ Typed ψ-calculi ⋮ Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables ⋮ The nominal/FM Yoneda Lemma ⋮ The lambda-context calculus (extended version) ⋮ Coverability Synthesis in Parametric Petri Nets
This page was built for publication: Nominal (Universal) Algebra: Equational Logic with Names and Binding
