Login / Signup
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