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

✍ Scribed by Tohru Naoi; Masafumi Yamashita; Toshihide Ibaraki; Namio Honda

• Book ID: 112205671
• Publisher: John Wiley and Sons
• Year: 1987
• Tongue: English
• Weight: 939 KB
• Volume: 18
• Category: Article
• ISSN: 0882-1666
• DOI: 10.1002/scj.4690180903