Type theory is also widely in use in formal theories of semantics of natural languages, especially Montague grammar and its descendants.
Теорія типів також широко використовується у формальних теоріях семантики природних мов, особливо у граматиці Монтегю та її нащадків.