4 citations · 8 across the 5 of their papers we have counts for
1 paper · 1 filter
Victor Dods
In this paper, the notion of strongly typed language will be borrowed from the field of computer programming to introduce a calculational framework for linear algebra and tensor ca…