Perpetual reductions in λ-calculus (1999)

by Femke van Raamsdonk, Paula Severi, Morten Heine B Srensen, Hongwei Xi
Venue:Information and Computation