Intersection Typed lambda-calculus.

Simona Ronchi Della Rocca

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
complex objects
higher order
database
databases
data structure
object oriented
formal model
fault localization