✦ LIBER ✦
Programming in Martin-Löf's Type Theory: an Introduction : Bengt Nordström, Kent Petersson and Jan M. Smith Intl. Series of Monographs on Computer Science, Vol. 7, Oxford Science Publications, Oxford, 1990, 231 pages
✍ Scribed by E. Van Gestel
- Publisher
- Elsevier Science
- Year
- 1991
- Tongue
- English
- Weight
- 85 KB
- Volume
- 34
- Category
- Article
- ISSN
- 0377-0427
No coin nor oath required. For personal study only.