2 papers
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…
cs.LO2024
An Introduction to Different Approaches to Initial Semantics
Thomas Lamiaux, Benedikt Ahrens
Characterizing programming languages with variable binding as initial objects, was first achieved by Fiore, Plotkin, and Turi in their seminal paper published at LICS'99. To do so,…