Could I get some references on formal semantics for a calculus on linear algebra that helps you study matrix or tensor based programming languages? I am looking for anything that encompasses linear or multilinear algebra objects and operations as first class constructs.
I remember seeing something on it a while ago but I can't seem to find that paper or any other reference on the subject. If there is any specific terminology that would help me search for it better it would also be appreciated.