Typed Abstract Syntax

Typed Abstract Syntax (2010)

by M. André Hirschowitz

@MISC{Hirschowitz10typedabstract,
    author = {M. André Hirschowitz},
    title = {Typed Abstract Syntax },
    year = {2010}
}

182	Categories for the working mathematician, volume 5 of Graduate Texts - Lane
118	Sketches of an elephant: a topos theory compendium - Johnstone - 2002
109	The formal theory of monads - Street - 1972
7	A note on actions of a monoidal category - Janelidze, Kelly
6	The category theoretic understanding of universal algebra: Lawvere theories and monads - Hyland, Power
1	Reprints in theory and applications of categories, no. 5, pp. 1–121, functorial semantics of algebraic theories and some algebraic problems in the context of functorial semantics of algebraic theories - Lawvere - 2004
1	on Mechanized reasoning about languages with variable binding - Tanaka