Liste des citations dans Numdam pour : The interpreted type-free modal calculus $M{C}^{\infty }$

Rendiconti del Seminario Matematico della Università di Padova, Tome 49 (1973), pp. 157-194.

---