"Montague Grammar and the Semantics of Physical Modality"

This refers to the American logician Richard Merret Montague (1930-1971), whose thesis was that natural languages (such as English) and formal languages (such as programming languages) can be treated in the same way.

"There is in my opinion no important theoretical difference between natural languages and the artificial languages of logicians; indeed, I consider it possible to comprehend the syntax and semantics of both kinds of language within a single natural and mathematically precise theory."