Semantics Out of Context

DOI10.1145/2700819zbMath1426.68158arXiv1305.6291OpenAlexW2964256821WikidataQ130896609 ScholiaQ130896609MaRDI QIDQ3177798

Murdoch James Gabbay

Publication date: 2 August 2018

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1305.6291

zbMATH Keywords

first-order logicsemanticsnominal algebrafresh-finite limitssigma-algebranominal lattices

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items (2)

Unity in nominal equational reasoning: the algebra of equality on nominal sets ⋮ Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness

This page was built for publication: Semantics Out of Context