7 citations · 10 across the 3 of their papers we have counts for
1 paper · 1 filter
J. A. Bergstra, A. Ponse, M. B. van der Zwaag
We introduce a calculus for tuplices, which are expressions that generalize matrices and vectors. Tuplices have an underlying data type for quantities that are taken from a zero-to…