Syntax and Semantics: A Categorical View

Abstract

A syntax is a category of strings and derivations between them. The semantic domain is a category of sets and functions. An interpretation is a cofunctor from the syntax to the semantics generated from a correspondence between productions and certain functions. There is a Galois connection between congruences on derivations and classes of interpretations… (More)
DOI: 10.1016/S0019-9958(70)90517-6

Topics

Cite this paper

@article{Benson1970SyntaxAS, title={Syntax and Semantics: A Categorical View}, author={David B. Benson}, journal={Information and Control}, year={1970}, volume={17}, pages={145-160} }