The Absence and the Presence of Fixed Point Combinators

William McCune, Larry Wos. The Absence and the Presence of Fixed Point Combinators. Theoretical Computer Science, 87(1):221-228, 1991.

Abstract

Abstract is missing.