How do we formally model and understand interaction with programming systems? The choose-your-own-adventure calculus is a small model of an interaction pattern that we find in data exploration, data wrangling or interactive theorem proving. The calculus lets us talk about the pattern and study its different properties, much like formal models based on the lambda calculus let us understand programming languages.
