Parametricity in an Impredicative Sort.

Chantal Keller Marc Lasson

Published in: CSL (2012)

Keyphrases

fuzzy logic
model selection
databases
genetic algorithm
learning algorithm
decision making
decision trees
expert systems
xml documents