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