Recursive coalgebras from comonads.

Venanzio Capretta Tarmo Uustalu Varmo Vene

Published in: Inf. Comput. (2006)

Keyphrases

database
data sets
artificial intelligence
three dimensional
data structure
reduced order
real time
real world
decision trees
recursive algorithm
recursive functions
chronological backtracking
iterative refinement