Mendler-Style Inductive Types, Categorically.

Tarmo Uustalu Varmo Vene

Published in: Nord. J. Comput. (1999)

Keyphrases

machine learning
inductive learning
knowledge representation
image processing
social networks
knowledge base
multimedia
cooperative
search algorithm
natural language
object recognition
inductive reasoning