✦ LIBER ✦
[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1139 || λ-calculi with explicit substitutions and composition which preserve β-strong normalization
✍ Scribed by Hanus, Michael; Rodríguez-Artalejo, Mario
- Book ID
- 111965637
- Publisher
- Springer Berlin Heidelberg
- Year
- 1996
- Weight
- 813 KB
- Category
- Article
- ISBN
- 3540706720
No coin nor oath required. For personal study only.