A computational approach to Binding Theory