Recursive Function Definition for Types with Binders.

Michael Norrish

Published in: TPHOLs (2004)

Keyphrases

machine learning
databases
preprocessing
information systems
case study
image segmentation
wide range
lower bound
conceptual model
piecewise linear
multi valued