Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
(It was me.)
fixed the author name (Takahashi instead of Takashi) in
Notice the formatting:
* [[Masako Takahashi]], *Parallel Reductions in $\lambda$-Calculus*, Journal of Symbolic Computation **7** 2 (1989) 113-123 [[doi:10.1006/inco.1995.1057](https://doi.org/10.1006/inco.1995.1057)]
1 to 6 of 6