TY - GEN T1 - Interacting Monoidal Structures with Applications in Computing PY - 2024/11/06 AU - Cranch J AU - Struth G ED - Y2 - 2024/12/22 ER -