Light Logics and the Call-by-Value Lambda Calculus.

Paolo Coppola Ugo Dal Lago Simona Ronchi Della Rocca

Published in: Log. Methods Comput. Sci. (2008)

Keyphrases

lambda calculus
programming language
expressive power
database query languages
complex objects
modal logic
program understanding
inference rules
predicate calculus
database
higher order