Clocked lambda calculus.

Jörg Endrullis Dimitri Hendriks Jan Willem Klop Andrew Polonsky

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

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
program understanding
database systems
natural language
query language
knn
higher order
expressive power