Login / Signup

Addressing Machines as models of lambda-calculus.

Giuseppe Della PennaBenedetto IntrigilaGiulio Manzonetto
Published in: Log. Methods Comput. Sci. (2022)
Keyphrases
  • lambda calculus
  • databases
  • machine learning
  • expert systems
  • predicate calculus