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