Classical lambda calculus in modern dress.

J. M. E. Hyland

Published in: Math. Struct. Comput. Sci. (2017)

Keyphrases

lambda calculus
programming language
predicate calculus
database
database query languages
software engineering
databases
knowledge base
relational databases
semantic network
reverse engineering
program understanding