A Lambda Calculus for Gödel-Dummett Logic Capturing Waitfreedom.

Published in: FLOPS (2012)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
logic programming
predicate logic
databases
pairwise
knowledge representation
natural language processing
first order logic