Combinatory Reductions and Lambda Reductions Compared.

J. Roger Hindley

Published in: Math. Log. Q. (1977)

Keyphrases

significant improvement
data sets
data mining
data streams
artificial intelligence
information systems
three dimensional
control system
fixed point
efficient computation