Logical Relations and the Typed lambda-Calculus

Richard Statman

Published in: Inf. Control. (1985)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
complex objects
higher order
formal model
databases
data structure
source code
database design
first order logic