Lambda calculus schemata.

Michael J. Fischer

Published in: Proving Assertions About Programs (1972)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
higher order
functional dependencies
database schema
object oriented
source code
complex objects