There are actually some in the linked article "some theory" section[0]. Seems to be some old work based on a parallel memory model that used to be used (PRAM),

There are actually some in the linked article "some theory" section[0]. Seems to be some old work based on a parallel memory model that used to be used (PRAM), some stuff from ken iverson's APL book, and some more APL stuff from someone's thesis. [0] https://raphlinus.github.io/gpu/2021/05/13/stack-monoid-revisited.html#some-theory https://raphlinus.github.io/gpu/2021/05/13/stack-monoid-revi...