Structural Recursive Definitions in Type Theory.

Eduardo Giménez

Published in: ICALP (1998)

Keyphrases

theoretical framework
decision trees
computational model
theoretical foundation
general theory
data sets
neural network
three dimensional
multiscale
objective function
artificial neural networks