Parallel Reductions in -calculus (1989)

by M Takahashi