Abstract lambda-Calculus Machines.

Werner E. Kluge

Published in: CEFP (2007)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
artificial intelligence
relational databases
higher order
higher level
high level
low level
object oriented
program understanding