1 paper
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…