Parallel Reductions in λ-Calculus

• 1 April 1995
• journal article
• Published by Elsevier in Information and Computation
• Vol. 118  (1) , 120-127
• https://doi.org/10.1006/inco.1995.1057

Abstract

Keywords

• NOTION
• PARALLEL REDUCTION
• THEOREM
• Β REDUCTION
• PROOFS
• Λ CALCULUS