Nontransformational Syntax

Type-Logical Syntax

Yusuke Kubota, Robert D. Levine