Dependent Inductive and Coinductive Types are Fibrational Dialgebras.

Published in: FICS (2015)

Keyphrases

database
machine learning
inductive learning
decision trees
search algorithm
data streams
information technology
evolutionary algorithm
knowledge acquisition