Masako Takahashi. Parallel Reductions in lambda-Calculus. Inf. Comput., 118(1):120-127, April 1995.
@article{Takahashi95,
title = {Parallel Reductions in lambda-Calculus},
author = {Masako Takahashi},
year = {1995},
month = {April},
tags = {termination, rewriting},
researchr = {https://researchr.org/publication/Takahashi95},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {118},
number = {1},
pages = {120-127},
}