T: A Simple Reduction Language based on Combinatory Rewriting

Tetsuo Ida, Akira Aiba, Yoshihito Toyama

研究成果: Article査読

本文言語English
ジャーナルFrance-Japan Artificial Intelligence and Computer Science Symposium 1986
出版ステータスPublished - 1986 10月 6

引用スタイル