Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets

Murdoch James Gabbay Dominic P. Mulligan

Published in: LFMTP (2011)

Keyphrases

lambda calculus
programming language
database query languages
predicate calculus
general purpose
higher order
database
databases
pairwise
logic programming
software systems