A Coalgebraic View of Bar Recursion and Bar Induction.

Venanzio Capretta Tarmo Uustalu

Published in: FoSSaCS (2016)

Keyphrases

machine learning
data mining
complex objects
inductive learning
deductive databases
transitive closure
data sets
computer vision
subgroup discovery