Login / Signup
Addressing Machines as models of lambda-calculus.
Giuseppe Della Penna
Benedetto Intrigila
Giulio Manzonetto
Published in:
Log. Methods Comput. Sci. (2022)
Keyphrases
</>
lambda calculus
databases
machine learning
expert systems
predicate calculus