Solution of a Problem of Barendregt on Sensible lambda-Theories.

Benedetto Intrigila Richard Statman

Published in: Log. Methods Comput. Sci. (2006)

Keyphrases

optimal solution
linear equations
real time
closed form
machine learning
information retrieval
e learning
data structure
dynamic programming
theoretical framework
mathematical model