Representing Nested Inductive Types Using W-Types.

Michael Gordon Abbott Thorsten Altenkirch Neil Ghani

Published in: ICALP (2004)

Keyphrases

inductive learning
database
genetic algorithm
decision trees
image segmentation
image sequences
multiscale
data analysis
information technology
inductive logic programming