Login / Signup
PELCR: Parallel environment for optimal lambda-calculus reduction.
Marco Pedicini
Francesco Quaglia
Published in:
ACM Trans. Comput. Log. (2007)
Keyphrases
</>
lambda calculus
programming language
predicate calculus