An equational notion of lifting monad.

Anna Bucalo Carsten Führmann Alex K. Simpson

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

Keyphrases

wavelet transform
theorem proving
data sets
search engine
subband
equational theories