Casper Standup 231 May 16 2022 This week's Casper Standup covered an explicit encoding of reversibility.
23 May 2022, 18:04
Casper Standup 231 May 16 2022 This week’s Casper Standup covered an explicit encoding of reversibility. This provides an equation Al specification for a debugging capability for rholang. It also provides the basis for the interpretation of cup and cap diagrammatic combinators in Coecke and Kissinger’s diagrammatic process language.
Same news in other sources
1
23 May 2022, 18:08
Casper Standup 231 May 16 2022 covered an explicit encoding of reversibility.
Casper Standup 231 May 16 2022 covered an explicit encoding of reversibility.
Casper Standup 231 May 16 2022 covered an explicit encoding of reversibility. https://t.co/vOgsLEFL4b https://t.co/Jj3t7ZbB1b