Extracting Purely Functional Contents from Logical Inductive Types.

David Delahaye Catherine Dubois Jean-Frédéric Étienne

Published in: TPHOLs (2007)

Keyphrases

machine learning
computer vision
inductive learning
logical structure
real time
databases
real world
metadata
multimedia
case study
data structure