Type Theory via Exact Categories.

Lars Birkedal Aurelio Carboni Giuseppe Rosolini Dana S. Scott

Published in: LICS (1998)

Keyphrases

theoretical framework
theoretical foundation
general theory
multiscale
support vector
formal theory
artificial intelligence
feature selection
artificial neural networks
information theory