T: A Simple Reduction Language based on Combinatory Term Rewriting

Tetsuo Ida, Akira Aiba, Yoshihito Toyama

Research output: Contribution to journalArticle

Original languageEnglish
JournalProgramming of Future Generation Computers
Publication statusPublished - 1987 Jan 1

Cite this