Recursive Types Reduced to Inductive Types

Published in: LICS (1990)

Keyphrases

databases
machine learning
learning algorithm
computer vision
e learning
knowledge base
search algorithm
artificial neural networks
multiresolution