Browse wiki

Jump to: navigation, search
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
 

 

Enter the name of the page to start browsing from.