On \Pi-conversion in the lambda-cube and the combination with abbreviations (1997)

by Fairouz Kamareddine , Roel Bloo , Rob Nederpelt
Citations:4 - 2 self