Metatheoretic Results for a Modal lambda-Calculus

Joëlle Despeyroux Pierre Leleu

Published in: J. Funct. Log. Program. (2000)

Keyphrases

lambda calculus
programming language
modal logic
predicate calculus
complex objects
higher order
database query languages
program understanding
general purpose
expert systems
knowledge base
relational databases
query processing
open source
source code