Quantitative Aspects of Linear and Affine Closed Lambda Terms.

Pierre Lescanne
Published in: ACM Trans. Comput. Log. (2018)