About

To learn more about Statebox see:

• What is Statebox
• Language Primer
• Frequently Asked Questions

Research

See research

• The Monograph version 2

• Idris-ct library

• Computational Petri Nets: Adjunctions Considered Harmful 1904.12974

• 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