Nested General Recursion and Partiality in Type Theory.

Ana Bove Venanzio Capretta

Published in: TPHOLs (2001)

Keyphrases

artificial intelligence
general theory
special case
information theory
data mining
theoretical framework
deductive databases
expert systems
computational model
closely related
formal theory
formal logic
data sets
computer vision
decision trees
algebraic geometry