Internal Labellings in Lambda-Calculus.

Published in: MFCS (1990)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
database systems
data structure
first order logic
program understanding
software engineering
open source
data types
complex objects