%0 Journal Article
%A Dezani-Ciancaglini, M.
%A Ronchi Della Rocca, S.
%A Saitta, L.
%T Complexity of $\lambda $-term reductions
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1979
%P 257-287
%V 13
%N 3
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/item/ITA_1979__13_3_257_0/
%G en
%F ITA_1979__13_3_257_0