✦ LIBER ✦
Two beta-equal lambda-I-terms with no types in common
✍ Scribed by M.W. Bunder; J.R. Hindley
- Publisher
- Elsevier Science
- Year
- 1996
- Tongue
- English
- Weight
- 82 KB
- Volume
- 155
- Category
- Article
- ISSN
- 0304-3975
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES