Parallel Reduction in Resource Lambda-Calculus.

Michele Pagani Paolo Tranquilli

Published in: APLAS (2009)

Keyphrases

lambda calculus
programming language
program understanding
complex objects
predicate calculus
general purpose
higher order