72 citations · 159 across the 26 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 8 cited
Modules over relative monads for syntax and semantics
Benedikt Ahrens
We give an algebraic characterization of the syntax and semantics of a class of languages with variable binding. We introduce a notion of 2-signature: such a signature specifies no…
cs.LO2011★ 6 cited
Extended Initiality for Typed Abstract Syntax
Benedikt Ahrens
Initial Semantics aims at interpreting the syntax associated to a signature as the initial object of some category of 'models', yielding induction and recursion principles for abst…