1. Bekki, D. (2009). Monads and meta-lambda calculus. In H. Hattori, T. Kawamura, T. Ide’, M. Yokoo & Y. Murakami (Eds.), New Frontiers in Artificial Intelligence Conference and Workshops, (JSAI 2008), Asahikawa, Japan, June 2008, Revised Selected Papers from LENLS5 (Vol. LNAI 5447, pp. 193–208), Springer.
2. Bekki, D., & Asai, K. (2010). Representing covert movements by delimited continuations. In K. Nakakoji, Y. Murakami & E. McCready (Eds.), New Frontiers in Artificial Intelligence JSAI-isAI 2009 Workshops, Tokyo, Japan, November 2009, Selected Papers from LENLS7 (Vol. LNAI 6284, pp. 161–180). Heidelberg: Springer.
3. Crole, R. L. (1993) Categories for types. Cambridge: Cambridge University Press.
4. Danvy, O., & Filinski, A. (1990) Abstracting control. LFP90, the 1990 ACM Conference on Lisp and Functional Programming (pp. 151–160).
5. Hayashishita, J. R., & Bekki, D. (2011). Conjoined nominal expressions in Japanese: Interpretation through monad, In The Eighth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS8) (pp. 139–152). JSAI International Symposia on AI 2011, Takamatsu, Kagawa, Japan.