Relational analysis of (co)inductive predicates, (co)algebraic datatypes, and (co)recursive functions.

Jasmin Christian Blanchette

Published in: Softw. Qual. J. (2013)

Keyphrases

recursive functions
inductive inference
data types
machine learning
data mining
data structure
user defined
concept learning
databases
real world
data streams
natural language processing