A Linear Logical View of Linear Type Isomorphisms.

Vincent Balat Roberto Di Cosmo

Published in: CSL (1999)

Keyphrases

multiscale
closed form
linear systems
information retrieval
feature selection
knowledge base
website
three dimensional
image sequences
multi agent
multiresolution
medical images