Login / Signup

Lambda-Calculus Models and Extensionality.

R. HindleyG. Longo
Published in: Math. Log. Q. (1980)
Keyphrases
  • lambda calculus
  • machine learning
  • data model
  • fault diagnosis