Perpetual reductions in λ-calculus (1999)

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