A type-theoretic semantics of arrays
✍
Carl McCrosky; Diptendu Dutta
📂
Article
📅
1990
🏛
Elsevier Science
🌐
English
⚖ 398 KB