%0 Journal Article %A Bressan, A. %T The interpreted type-free modal calculus $MC^{\infty }$ %J Rendiconti del Seminario Matematico della Università di Padova %D 1973 %P 157-194 %V 49 %I Seminario Matematico of the University of Padua %U http://archive.numdam.org/item/RSMUP_1973__49__157_0/ %G en %F RSMUP_1973__49__157_0