Minimal Forms in lambda-Calculus Computations.

Corrado Böhm Silvio Micali

Published in: J. Symb. Log. (1980)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
object oriented
higher order
databases
data model
software engineering
source code
expressive power
theorem prover
database query languages