В статье представлен инструментарий для формализации синтаксических теорий в рамках минималистской программы Н. Хомского (Minimalist Program) генеративной лингвистике. Он представляет собой набор формальных конструкций языке Agda, позволяющих определить деревья вывода, синтаксические объекты и основные понятия теории - операцию соединения (Merge), признаки, копии, цепи, c-командование др. то же...
