Church-Rosser Property for Some Extensions of λβ-Reducibility Relation

✍ Scribed by Andrei A. Kuzichev

• Publisher: John Wiley and Sons
• Year: 1991
• Tongue: English
• Weight: 591 KB
• Volume: 37
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.19910373306