Modules over monads and initial semantics

49 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Heterogeneous substitution systems revisited (2016, positive): “In the meantime, monads and modules over monads, have been used by Hirscho-witz and Maggesi [16, 17] to deﬁne models of syntax, and to give a categorical characterization thereof.”
Initial Semantics for Strengthened Signatures (2012, background): “An introduction on this subject can be found in our papers [13, 14].”
Initiality for Typed Syntax and Semantics (2012, background): “The set family of lambda terms is equipped with a structure of a monad TLC on the category SetTLC as follows [11]: the family η is given by the family of constructors Var, and the substitution map is given by capture–avoiding simultaneous substitution:”
Extended Initiality for Typed Abstract Syntax (2011, unknown): “They were previously deﬁned in Zsidó’s thesis [Zsi10] and works of Hirschowitz and Maggesi [HM07, HM10].”