Principal Typing for Lambda Calculus in Elementary Affine Logic.

Paolo Coppola Simona Ronchi Della Rocca

Published in: Fundam. Informaticae (2005)

Keyphrases

lambda calculus
predicate calculus
programming language
database query languages
higher order
formal model
database
complex objects
program understanding
artificial intelligence
relational model
automated reasoning