Media type: E-Article Title: On the semantics for the language ML? based on a type system, and those for the type-free language ML? Contributor: Bressan, Aldo imprint: Springer Science and Business Media LLC, 1974 Published in: Journal of Philosophical Logic Language: English DOI: 10.1007/bf00247221 ISSN: 0022-3611; 1573-0433 Keywords: Philosophy Origination: Footnote: