Substituting without runtime

Last updated Oct 11, 2024

• String Diagrams for Premonoidal Categories (Román, Sobociński, 2023).