Semantics Out of Context: Nominal Absolute Denotations for First-Order Logic and Computation - Gabbay, Murdoch J. (Journal of the ACM, 2016)
Keywords: Algebra; Computation; Demand; Foundations; Lattice theory; Lattices; Logic; Mathematical models; Semantics; Set theory; Studies; Variables