Publications tagged `TYPE THEORY`
Name | Followers | ||
---|---|---|---|
Statebox | Statebox is building a visual, formally verified process language that prevents errors, allows compositionality and ensures termination. Find out more at https://statebox.org | 241 |