%0 Book Section
%A Girard, Jean-Yves
%T Le lambda-calcul du second ordre
%B Séminaire Bourbaki : volume 1986/87, exposés 669-685
%A Collectif
%S Astérisque
%Z talk:678
%D 1987
%P 173-185
%N 152-153
%I Société mathématique de France
%U http://www.numdam.org/item/SB_1986-1987__29__173_0/
%G fr
%F SB_1986-1987__29__173_0