De Bruijn's syntax and reductional behaviour of λ-terms: the untyped case

✍ Scribed by Fairouz Kamareddine; Roel Bloo

• Book ID: 113720532
• Publisher: Elsevier Science
• Year: 2005
• Tongue: English
• Weight: 326 KB
• Volume: 62
• Category: Article
• ISSN: 1567-8326
• DOI: 10.1016/j.jlap.2004.01.001