Parallel reductions in W -calculus (Revised version (1995)

by M Takahashi
Venue:Information and Computation