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.

Scott, Philip J.

Diagrammes, Actes Volume 1. Journées d'études esquisses, logique et informatique théorique, Tome 22 (1989), pp. 77-90.