Recursive Application Survival in the λ-Calculus (1996)

by Mayer Goldberg