Some philosophical issues concerning theories of combinators.

Published in: Lambda-Calculus and Computer Science Theory (1975)

Keyphrases

key issues
artificial intelligence
artificial intelligence and cognitive science
database
search algorithm
machine learning
information retrieval
feature selection
domain knowledge
theoretical framework
cognitive science
design issues
cognitive architectures