Incremental Reduction in the lambda Calculus

John Field, Tim Teitelbaum. Incremental Reduction in the lambda Calculus. In LISP and Functional Programming. pages 307-322, 1990. [doi]

Abstract

Abstract is missing.