Login / Signup
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