Last week's Casper Standup covered a refinement of the translation of symmetric monoidal categorical structure into rho-calculus
31 May 2022, 12:23
Last week’s Casper Standup covered a refinement of the translation of symmetric monoidal categorical structure into rho-calculus and the beginning of the comparison of this to the naive treatment of Quantum Theory into rho-calculus.