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

by Fairouz Kamareddine , Roel Bloo , Rob Nederpelt
Citations:6 - 3 self