Variable binding term operators in λ-calculus.

Martin W. Bunder

Published in: Notre Dame J. Formal Log. (1979)

Keyphrases

neural network
building blocks
algebraic structure
real time
data sets
databases
machine learning
search engine
case study
database systems
relational databases
evolutionary algorithm
co occurrence
morphological operators
regularization term