Intersection types for lambda-trees.

Steffen van Bakel Franco Barbanera Mariangiola Dezani-Ciancaglini Fer-Jan de Vries

Published in: Theor. Comput. Sci. (2002)

Keyphrases

decision trees
neural network
computer vision
case study
search algorithm
tree structure
fixed point
databases
genetic algorithm
image processing
multi agent systems
multiple types