𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[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

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES