A list-oriented extension of the lambda-calculus satisfying the Church—Rosser theorem

✍ Scribed by György E. Révész

• Publisher: Elsevier Science
• Year: 1992
• Tongue: English
• Weight: 871 KB
• Volume: 93
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/0304-3975(92)90212-x