Termination Checking in the Presence of Nested Inductive and Coinductive Types.

Thorsten Altenkirch Nils Anders Danielsson

Published in: PAR@ITP (2010)

Keyphrases

machine learning
real time
information retrieval
bayesian networks
knowledge representation
integrity constraints
neural network
search algorithm
expert systems
knowledge acquisition
inductive logic programming
inductive learning
hierarchical data
type checking
compositional semantics