List of citations in Numdam for : The interpreted type-free modal calculus MC

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

Rendiconti del Seminario Matematico della Università di Padova, Volume 51 (1974), pp. 1-25.