Login / Signup

Une Généralisation de la Théorie des Types en \lambda-Calcul (Première partie).

Patrick Sallé
Published in: RAIRO Theor. Informatics Appl. (1980)
Keyphrases
  • object recognition
  • data sets
  • real world
  • learning algorithm
  • preprocessing
  • artificial neural networks
  • sufficient conditions
  • fixed point