Big trees in a lambda - calculus with lambda - expressions as types.

Roel C. de Vrijer

Published in: Lambda-Calculus and Computer Science Theory (1975)

Keyphrases

lambda calculus
programming language
predicate calculus

database query languages
program understanding
higher order

database
general purpose
database applications

complex objects
formal model