Computing Cohomology Rings in Cubical Agda. - Thomas Lamiaux; Axel Ljungström; Anders Mörtberg (CPP, 2023)

An Introduction to Different Approaches to Initial Semantics. - Thomas Lamiaux; Benedikt Ahrens (CoRR, 2024)

A Unified Framework for Initial Semantics. - Thomas Lamiaux; Benedikt Ahrens (CoRR, 2025)

2-Functoriality of Initial Semantics, and Applications. - Benedikt Ahrens; Ambroise Lafont; Thomas Lamiaux (CoRR, 2025)