Variable-free” Syntax, Variable-binding Syntax, the Natural Deduction Lambek Calculus, and the Crossover Constraint (1992)

by David Dowty
Venue:in Proceedings of the 11th West Coast Conference on Formal Linguistics, Stanford CA 1992, SLA Stanford CA