A Formalization of Minimalist Syntax
Chris Collins 
(joint work with Ed Stabler)

The goal of this formalization is to give a precise, formal account of certain fundamental 
notions in minimalist syntax, leading up to the definition of a convergent derivation.  
We would like this formalization to be useful to minimalist syntacticians in evaluating 
their own proposals (both conceptually and empirically), and comparing their proposals 
to others.