Lambda-Calculus with Director Strings.

Maribel Fernández Ian Mackie François-Régis Sinot

Published in: Appl. Algebra Eng. Commun. Comput. (2005)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
program understanding
databases
database systems
object oriented