T: A Simple Reduction Language based on Combinatory Term Rewriting

Tetsuo Ida, Akira Aiba, Yoshihito Toyama

研究成果: Article査読

本文言語English
ジャーナルProgramming of Future Generation Computers
出版ステータスPublished - 1987 1 1

引用スタイル