Perpetual reductions in lambda-calculus (1999)

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