In his 1958 paper, *The Mathematics of Sentence Structure*, Joachim Lambek introduced the Lambek calculus. In modern terms, it could be understood as a syntax for biclosed
monoidal categories, and he remarked that it was very similar to a calculus for linear algebra he had worked on with G. D. Findlay -- *Calculus of Bimodules* (apparently never published).

I am interested in papers applying Lambek-calculus style methods to linear algebra. So far, I have only found Lambek's original paper, and D. Stott Parker's 1997 paper *Schur complements obey Lambek's categorial grammar: Another view of Gaussian elimination and LU decomposition*.

- Does anyone know of an online source for G. D. Findlay and J. Lambek's
*Calculus of Bimodules*? I can't find it. - Can anyone point me to other papers formulating results in linear algebra in terms of the proof theory of categorial logic (and similar systems like linear logic)?