TY  - CHAP
AU  - Girard, Jean-Yves
TI  - Le lambda-calcul du second ordre
BT  - Séminaire Bourbaki : volume 1986/87, exposés 669-685
AU  - Collectif
T3  - Astérisque
N1  - talk:678
PY  - 1987
SP  - 173
EP  - 185
IS  - 152-153
PB  - Société mathématique de France
UR  - http://www.numdam.org/item/SB_1986-1987__29__173_0/
LA  - fr
ID  - SB_1986-1987__29__173_0
ER  -