✦ LIBER ✦
Epistemology versus Ontology || Program Testing and the Meaning Explanations of Intuitionistic Type Theory
✍ Scribed by Dybjer, P.; Lindström, Sten; Palmgren, Erik; Sundholm, G.
- Book ID
- 119978063
- Publisher
- Springer Netherlands
- Year
- 2012
- Weight
- 275 KB
- Category
- Article
- ISBN
- 9400744358
No coin nor oath required. For personal study only.