A comparison of length of reductions for explicit substitution calculi. Private Communication (1996)

by F Kamareddine, A R'ios