most citedNormalizing Asymptotic Differential Equations

1 citations

researchers with a paper here
collaborating institutions
Showing cs.PLShow all

1 paper · 1 filter

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…