Daisuke Bekki. Monads and Meta-lambda Calculus. In Hiromitsu Hattori, Takahiro Kawamura, Tsuyoshi Idé, Makoto Yokoo, Yohei Murakami, editors, New Frontiers in Artificial Intelligence, JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers. Volume 5447 of Lecture Notes in Computer Science, pages 193-208, Springer, 2008. [doi]
Abstract is missing.