On the correspondence of lambda style reduction and combinator style reduction.

Hans-Georg Oberhauser

Published in: Graph Reduction (1986)

Keyphrases

reduction method
real time
databases
information retrieval
genetic algorithm
learning algorithm
website
optimal solution
wide range