General recursion via coinductive types.

Venanzio Capretta

Published in: Log. Methods Comput. Sci. (2005)

Keyphrases

special case
closely related
artificial intelligence
database
neural network
machine learning
feature selection
case study
face recognition
probability distribution