About

To learn more about Statebox see:

• What is Statebox
• Language Primer
• Frequently Asked Questions

Research

See research

• The Monograph version 2
• Executions in (Semi-)Integer Petri Nets are Compact Closed Categories 1805.05988

Typedefs

This is a language agnostic typesystem developed by us which uses constructions based on category theory.

• github.com/typedefs
• typedefs.com