H.: Perpetual reductions in lambda calculus (1999)

by F van Raamsdonk, P Severi, M H Sørensen, Xi
Venue:Inf. Comput