Solution of a Problem of Barendregt on Sensible lambda-Theories

Benedetto Intrigila Richard Statman

Published in: CoRR (2006)

Keyphrases

optimal solution
website
learning environment
mathematical model
artificial intelligence
evolutionary algorithm
multiresolution
mobile robot
fixed point
search strategy
solution quality
integer programming
linear equations