Parallel Reductions in lambda-Calculus

Masako Takahashi. Parallel Reductions in lambda-Calculus. Inf. Comput., 118(1):120-127, April 1995.

Abstract

Abstract is missing.