The differential lambdamu-calculus.

Published in: Theor. Comput. Sci. (2007)

Keyphrases

formal language
machine learning
information retrieval
image processing
digital libraries
multiresolution
description logics
algebraic structure