Parallel reductions in #-calculus (1995)

by Masako Takahashi
Venue:Information and Computation