Comparison of Closure Reduction and Combinatory Reduction Schemes

Tetsuo Ida, Akihiko Konagaya. Comparison of Closure Reduction and Combinatory Reduction Schemes. In Eiichi Goto, Keijiro Araki, Taiichi Yuasa, editors, RIMS Symposia on Software Science and Engineering II, Proceedings of the Symposia 1983 and 1984, Kyoto, Japan. Volume 220 of Lecture Notes in Computer Science, pages 261-291, Springer, 1984.

Abstract

Abstract is missing.