Weakening the Axiom of Overlap in Infinitary Lambda Calculus.

Paula Severi Fer-Jan de Vries

Published in: RTA (2011)

Keyphrases

lambda calculus
programming language
database query languages
predicate calculus
higher order
modal logic
program understanding
complex objects
inference rules
general purpose
database
databases
xml documents
user defined