A class of ambiguous linear term-rewriting systems on which call-by-need is a normalizing reduction strategy - researchr publication

researchr

You are not signed in
Sign in
Sign up

Tohru Naoi, Masafumi Yamashita, Toshihide Ibaraki, Namio Honda. A class of ambiguous linear term-rewriting systems on which call-by-need is a normalizing reduction strategy. Systems and Computers in Japan, 18(9):19-30, 1987. [doi]

Abstract is missing.

runs on WebDSL