Dependent Types in Natural Language Semantics
Calculating Projections via Type Checking
Conventional Implicature via Dependent Type Semantics
Two types of Japanese scrambling in combinatory categorial grammar