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

T: A Simple Reduction Language based on Combinatory Term Rewriting. / Ida, Tetsuo; Aiba, Akira; Toyama, Yoshihito.

In: Programming of Future Generation Computers, 01.01.1987.

Research output: Contribution to journalArticle

@article{863329b37ec54e6fa5350b9be01cbf94,
title = "T: A Simple Reduction Language based on Combinatory Term Rewriting",
author = "Tetsuo Ida and Akira Aiba and Yoshihito Toyama",
year = "1987",
month = "1",
day = "1",
language = "English",
journal = "Programming of Future Generation Computers",

}

TY - JOUR

T1 - T: A Simple Reduction Language based on Combinatory Term Rewriting

AU - Ida, Tetsuo

AU - Aiba, Akira

AU - Toyama, Yoshihito

PY - 1987/1/1

Y1 - 1987/1/1

M3 - Article

JO - Programming of Future Generation Computers

JF - Programming of Future Generation Computers

ER -