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 |
---|