4 citations · 4 across the 4 of their papers we have counts for
4 papers
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…
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…
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,…
Computing Cohomology Rings in Cubical Agda
Thomas Lamiaux, Axel Ljungström, Anders Mörtberg
In Homotopy Type Theory, cohomology theories are studied synthetically using higher inductive types and univalence. This paper extends previous developments by providing the first…