Intersection Type Systems and Explicit Substitutions Calculi.

Daniel Lima Ventura Mauricio Ayala-Rincón Fairouz Kamareddine

Published in: WoLLIC (2010)

Keyphrases

management system
e learning
machine learning
data sets
decision making
image processing
bayesian networks
search algorithm
knowledge based systems
building blocks
systems require