Parallel Reductions in lambda-Calculus

Masako Takahashi

Published in: Inf. Comput. (1995)

Keyphrases

lambda calculus
programming language
higher order
predicate calculus
program understanding
artificial intelligence
database query languages
open source