Ida et al, "T: A Simple Reduction Language Based on Combinatory Term Rewriting", Proc of Prog Future Generation Computers, 1988.
(1988)
Languages mentioned
T
{1988}