T: A Simple Reduction Language based on Combinatory Rewriting

Tetsuo Ida, Akira Aiba, Yoshihito Toyama

Research output: Contribution to journalArticle

Original languageEnglish
JournalFrance-Japan Artificial Intelligence and Computer Science Symposium 1986
Publication statusPublished - 1986 Oct 6

Cite this