A formalised first-order confluence proof for the λ-calculus using one-sorted variable names

✍ Scribed by René Vestergaard; James Brotherston

• Book ID: 114273348
• Publisher: Elsevier Science
• Year: 2003
• Tongue: English
• Weight: 464 KB
• Volume: 183
• Category: Article
• ISSN: 0890-5401
• DOI: 10.1016/s0890-5401(03)00023-3