Theory of signatures is a formal approach to specifying the shape and data of mutually inductive types. Container provide a categorical and type theoretic model for such structures.
Theory of signatures is a formal approach to specifying the shape and data of mutually inductive types. Container provide a categorical and type theoretic model for such structures.