Liste des citations dans Numdam pour : Le lambda-calcul du second ordre

Séminaire Bourbaki : volume 1986/87, exposés 669-685, Astérisque, no. 152-153 (1987), Exposé no. 678, 13 p.

---