Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ-terms.

Michele Pagani Christine Tasson Lionel Vaux

Published in: CoRR (2016)

Keyphrases

co occurrence
objective function
expert systems
multiresolution
real world
machine learning
decision trees