Search
a linguistic framework within formal syntax that combines categorial grammar with combinatory logic to model the syntactic structure and compositionality of natural language sentences