%0 Book Section
%A Tangora, Martin C.
%T Computing with the lambda algebra
%B Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988
%A Collectif
%E Hayat-Legrand Claude
%E Sergeraert Francis
%S Astérisque
%D 1990
%P 79-89
%N 192
%I Société mathématique de France
%U http://archive.numdam.org/item/AST_1990__192__79_0/
%G en
%F AST_1990__192__79_0