Parallel reductions in λ-calculus (revised version (1995)

by Masako Takahashi
Venue:Information and Computation