中島玲二京大数理解析研究所教授の
MathSciNetでの検索

著者としては次のものだけ：

MR0469714 (57 #9495)
Nakajima, Reiji
Infinite normal forms for the $\lambda $-calculus. $\lambda $-calculus and computer science theory (Proc. Sympos., Rome, 1975), pp. 62--82. Lecture Notes in Comput. Sci., Vol. 37, Springer, Berlin, 1975.

Citationは４回のみ。