Second-Order and Dependently-Sorted Abstract Syntax

77 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): “The starting point of this section is a result from [23], which gives one way to deﬁne substitution systems and which comes from a very speciﬁc instance of Lemma 8.”
Initial Semantics for Strengthened Signatures (2012, background): “The latter approach has been broadly extended, notably by M. Fiore [8, 9, 10].”
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (2016, background): “The composition functors of these Kleisli bicategories can be understood as generalizations of various kinds of substitution monoidal structures [22, 23, 24, 25, 27, 36, 57], among those giving rise to the notions of a many-sorted Lawvere theory and of a coloured operad.”