Login / Signup
A parallel implementation for optimal lambda-calculus reduction.
Marco Pedicini
Francesco Quaglia
Published in:
PPDP (2000)
Keyphrases
</>
parallel implementation
lambda calculus
parallel computation
distributed memory
parallel computers
data structure
natural language processing
parallel implementations