Semantics of Grammars and Attributes via Initiality
B.P.F. Jacobs, Tarmo Uustalu · 2007
ABSTRACT. This paper uses elementary categorical techniques to systematically describe the semantics of context-free grammars and of attribute evaluation for such grammars. The novelty lies in capturing inherited attributes and their evaluation via exponents and naturality. 1.