2 papers
cs.PL2026
2-Functoriality of Initial Semantics, and Applications
Benedikt Ahrens, Ambroise Lafont, Thomas Lamiaux
Initial semantics aims to model inductive structures and their properties, and to provide them with recursion principles respecting these properties. An ubiquitous example is the f…
cs.PL2025
A Unified Framework for Initial Semantics
Thomas Lamiaux, Benedikt Ahrens
Initial semantics aims to capture inductive structures and their properties as initial objects in suitable categories. We focus on the initial semantics aiming to model the syntax…