Lambda-calculus, combinators and applicative computational technologies.

Larisa Y. Ismailova Viacheslav Wolfengagen Sergey Kosikov

Published in: Cogn. Syst. Res. (2022)

Keyphrases

lambda calculus
programming language
semantic network
predicate calculus
program understanding
databases