TY  - JOUR
AU  - Bressan, A.
TI  - The interpreted type-free modal calculus $MC^{\infty }$
JO  - Rendiconti del Seminario Matematico della Università di Padova
PY  - 1973
SP  - 157
EP  - 194
VL  - 49
PB  - Seminario Matematico of the University of Padua
UR  - http://archive.numdam.org/item/RSMUP_1973__49__157_0/
LA  - en
ID  - RSMUP_1973__49__157_0
ER  -