Standardization in resource lambda-calculus

Maurizio Dominici Simona Ronchi Della Rocca Paolo Tranquilli

Published in: LINEARITY (2012)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
database query languages
database
program understanding
complex objects