@incollection{SB_1986-1987__29__173_0,
     author = {Girard, Jean-Yves},
     title = {Le lambda-calcul du second ordre},
     booktitle = {S\'eminaire Bourbaki : volume 1986/87, expos\'es 669-685},
     series = {Ast\'erisque},
     note = {talk:678},
     pages = {173--185},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {152-153},
     year = {1987},
     mrnumber = {936854},
     zbl = {0645.03013},
     language = {fr},
     url = {http://www.numdam.org/item/SB_1986-1987__29__173_0/}
}