On the complexity of beta-reduction (1996)

by Andrea Asperti
Venue:In Proc 23rd ACM SIGPLAN Symposium on Principles of Programming Languages