%0 Journal Article
%A Dezani-Ciancaglini, M.
%A Ronchi Della Rocca, S.
%A Saitta, L.
%T Complexity of $\lambda $-term reductions
%J RAIRO. Informatique théorique
%D 1979
%P 257-287
%V 13
%N 3
%I EDP-Sciences
%U http://archive.numdam.org/item/ITA_1979__13_3_257_0/
%G en
%F ITA_1979__13_3_257_0