✦ LIBER ✦
Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
✍ Scribed by N.G de Bruijn
- Publisher
- Elsevier Science
- Year
- 1972
- Weight
- 718 KB
- Volume
- 75
- Category
- Article
- ISSN
- 1385-7258
No coin nor oath required. For personal study only.