Algebraic Interpretation of Lambda Calculus with Resources.

Carolina Lavatelli

Published in: CONCUR (1996)

Keyphrases

lambda calculus
programming language
higher order
predicate calculus
high level
program understanding
object oriented
software engineering
co occurrence
complex objects
database query languages