May 2's Casper Standup covered an interpretation of symmetric monoidal categories in the rho-calculus.
14 May 2022, 20:34
May 2's Casper Standup covered an interpretation of symmetric monoidal categories in the rho-calculus.
Same news in other sources
3
14 May 2022, 20:36
This week’s Casper Standup covered refinements of the interpretation of QM into rho-calculus. We also reviewed metered computation in rho and how to modify it to do debugging and reversible computation.
This week's Casper Standup covered refinements of the interpretation of QM into rho-calculus.
This week’s Casper Standup covered refinements of the interpretation of QM into rho-calculus. We also reviewed metered computation in rho and how to modify it to do debugging and reversible computation. https://t.co/m5G8hAHs8v https://t.co/nSAXAelrPz
14 May 2022, 20:36
May 2's Casper Standup covered an interpretation of symmetric monoidal categories in the rho-calculus.
May 2's Casper Standup covered an interpretation of symmetric monoidal categories in the rho-calculus.
May 2's Casper Standup covered an interpretation of symmetric monoidal categories in the rho-calculus. https://t.co/KWwdOlqsGp https://t.co/vLO1SMuU70
14 May 2022, 20:34
This week’s Casper Standup covered refinements of the interpretation of QM into rho-calculus. We also reviewed metered computation in rho and how to modify it to do debugging and reversible computation.
This week's Casper Standup covered refinements of the interpretation of QM into rho-calculus.
This week’s Casper Standup covered refinements of the interpretation of QM into rho-calculus. We also reviewed metered computation in rho and how to modify it to do debugging and reversible computation. https://youtu.be/Va1uHCThbl0