Reduction monads and their signatures - Ahrens, Benedikt; Hirschowitz, André; Lafont, Ambroise; Maggesi, Marco (Proceedings of ACM on programming languages, 2020)
Keywords: Computer Science; Logic in Computer Science; Reduction systems; initial semantics; monadic substitution; Categorical semantics Additional Key Words and Phrases: Initial semantics; CCS Concepts: • Theory of computation → Equational logic and rewriting; signatures; Monads; computer-checked proofs; Lambda calculus; syntax; presentation of monads; Higher-order languages; and phrases free monads