72 citations · 159 across the 26 of their papers we have counts for
1 paper · 1 filter
Benedikt Ahrens, Julianna Zsido
Initial Semantics aims at characterizing the syntax associated to a signature as the initial object of some category. We present an initial semantics result for typed higher-order…