Login / Signup

General Recursive Functions in a Very Simply Interpretable Typed lambda-Calculus.

G. JacopiniG. Sontacchi
Published in: Theor. Comput. Sci. (1993)
Keyphrases
  • lambda calculus
  • recursive functions
  • programming language
  • predicate calculus
  • inductive inference
  • complex objects
  • database query languages
  • machine learning
  • user defined
  • program understanding