Extending the lambda-calculus with unbind and rebind.

Mariangiola Dezani-Ciancaglini Paola Giannini Elena Zucca

Published in: RAIRO Theor. Informatics Appl. (2011)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
program understanding
higher order
artificial intelligence
knowledge base
object oriented
source code
database applications
first order logic
predicate logic