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

Michele Pagani Christine Tasson Lionel Vaux

Published in: FoSSaCS (2016)

Keyphrases

structural information
semantic structure
databases
feature selection
three dimensional
search algorithm
artificial neural networks
information retrieval systems
hierarchical structure