Browse wiki
| Session:Statebox - compositional smart contracts through category theory |
| Has description | A short presentation on a new approach to writing programs inspired by graphical calculi developed for quantum protocols (amongst others). + |
|---|---|
| Has language property | en - English + |
| Has session keyword | political + , hardware + , software + |
| Has session tag | blockchain + , category theory + , petri nets + , supply chains + , functional programming + , graphical programming + , compositionality + , formal verification + , dependent types + |
| Has session type | Talk + |
| Has website | http://statebox.org + |
| Held in language | en - English + |
| Is for kids | false + |
| Processed by assembly | Assembly:Chaos West + |
| Has queryThis property is a special property in this wiki. | Session:Statebox - compositional smart contracts through category theory + , Session:Statebox - compositional smart contracts through category theory + |
| Categories | Session + |
| Modification dateThis property is a special property in this wiki. | 29 December 2017 15:34:27 + |
| Has subobjectThis property is a special property in this wiki. | Session:Statebox - compositional smart contracts through category theory + |
| hide properties that link here |
| Session:Statebox - compositional smart contracts through category theory + | Has parent object |
|---|
