Login / Signup

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

Michele PaganiChristine TassonLionel 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