A Self-dependency Constraint in the Simply Typed Lambda Calculus.

Aleksy Schubert

Published in: FCT (2005)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
higher order
high level
complex objects
database query languages
database
query processing
object oriented
database management systems
reverse engineering