The self-reduction in lambda calculus

Fangmin Song, YongSen Xu, Yuechen Qian. The self-reduction in lambda calculus. Theoretical Computer Science, 235(1):171-181, 2000. [doi]

Abstract

Abstract is missing.