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