this paper is to outline an intermediate language for machine translation which is based on combinatory logic. Section 1 sketches the background assumptions of type theory. Section 2 discusses some of the problems with the traditional (typed) approach in Montague Grammar, and Section 3 outlines some general problems with type theory. In Section 4 a type-free intermediate language is dened and exemplied: its interpretation is discussed in the last section
