[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 510 || A confluent reduction for the λ-calculus with surjective pairing and terminal object

✍ Scribed by Albert, Javier Leach; Monien, Burkhard; Artalejo, Mario Rodríguez

• Book ID: 111878719
• Publisher: Springer Berlin Heidelberg
• Year: 1991
• Weight: 894 KB
• Category: Article
• ISBN: 3540475168
• DOI: 10.1007/3-540-54233-7_142