@article{RSMUP_1974__51__1_0,
     author = {Bressan, A.},
     title = {The interpreted type-free modal calculus $MC^{\infty }$},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     pages = {1--25},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {51},
     year = {1974},
     zbl = {0304.02009},
     language = {en},
     url = {http://www.numdam.org/item/RSMUP_1974__51__1_0/}
}