Proof

Simon J. Thompson. Proof. In Kevin Hammond, Greg Michaelson, editors, Research Directions in Parallel Functional Programming. pages 93-119, Springer, 1999. [doi]

Abstract

Abstract is missing.