full record print

High-level axioms for graphical linear algebra

author
statement of authorship
João Paixão, Lucas Rufino, Paweł Sobociński
source
Science of computer programming
publisher
journal volume number month
vol. 218
year of publication
pages
art. 102791 ; 26 p
url
ISSN
0167-6423
notes
Bibliogr.: 25 ref
scientific publication
teaduspublikatsioon
language
inglise
subject term
keyword
graphical linear algebra
calculational proofs
diagrammatic language
string diagrams
Recursive linear algebra
Reserch Group
Laboratory for compositional systems and methods
Paixao, J., Rufino, L., Sobocinski, P. M. High-level axioms for graphical linear algebra // Science of computer programming (2022) vol. 218, art. 102791 ; 26 p. https://doi.org/10.1016/j.scico.2022.102791