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. https://youtu.be/Fjtsnp5aGsk https://t.co/NVkb6EhfcK
上周的Casper站立报道了对称单项式范畴结构到rho演算的转换的改进，以及这与量子理论到rho演算的天真处理的比较的开始。https://youtu.be/Fjtsnp5aGsk https://t.co/NVkb6EhfcK