1. Lecture Notes in Computer Science;D Bekki,2014
2. Studies in Linguistics and Philosophy;D Bekki,2017
3. Bekki, D., Sato, M.: Calculating Projections via type checking. In: Proceedings of TYpe Theory and LExical Semantics (TYTLES), ESSLLI2015 Workshop (2015)
4. Chomsky, N.: Conditions on rule of grammar. Linguist. Anal. 2(4), 303–351 (1976)
5. Cooper, R.: Quantification and Syntactic Theory. Reidel, Dordrecht (1983)