Böhm theorem and Böhm trees for the λμ-calculus.

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

Keyphrases

multiscale
information systems
feature selection
decision trees
case study
tree structures
algebraic structure
labeled trees