✦ LIBER ✦
Analytic proof systems for λ-calculus: the elimination of transitivity, and why it matters
✍ Scribed by Pierluigi Minari
- Publisher
- Springer
- Year
- 2007
- Tongue
- English
- Weight
- 523 KB
- Volume
- 46
- Category
- Article
- ISSN
- 0933-5846
No coin nor oath required. For personal study only.