A Dependent Type Theory with Names and Binding.

Ulrich Schöpp Ian Stark

Published in: CSL (2004)

Keyphrases

theoretical basis
neural network
multiscale
artificial intelligence
multiresolution
information theory
data sets
decision making
keywords
objective function
fine grained
theoretical framework