The parallel reduction of lambda calculus expressions

Paul Watson. The parallel reduction of lambda calculus expressions. PhD thesis, University of Manchester, UK, 1986. [doi]

Abstract

Abstract is missing.