Machine translation based on logically isomorphic Montague grammars
Jan Landsbergen · 1982
The paper describes a new approach to machine translation, based on Montague grammar, and an experimental translation system, Rosetta, designed according to this approach. It is a multi-lingual system which uses 'logical derivation trees' as intermediate expressions.