On pi-conversion in the lambda-cube and the combination with abbreviations (1999)

by Fairouz Kamareddine, Roel Bloo, Rob Nederpelt
Venue:Ann. Pure Appl. Logic