Elementary Affine Logic and the Call-by-Value Lambda Calculus.

Paolo Coppola Ugo Dal Lago Simona Ronchi Della Rocca

Published in: TLCA (2005)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
program understanding
database query languages
complex objects
predicate logic
object oriented
general purpose
expressive power
database
artificial intelligence
theorem proving
software maintenance