Publications tagged `CATEGORY 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