Light Logics and the Call-by-Value Lambda Calculus

Paolo Coppola Ugo Dal Lago Simona Ronchi Della Rocca

Published in: CoRR (2008)

Keyphrases

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