The Sigma Calculus is a formal system for deterministic stateful computation, acting as both a generalization and simplification of the Lambda Calculus. It defines a system of Monads and Symbols for a computational framework closed under left-to-right evaluation.