Parallel Reductions in lambda-Calculus.

Masako Takahashi

Published in: J. Symb. Comput. (1989)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
database systems
object oriented
first order logic
complex objects