- Cite this paper as:
- Kahn G. (1987) Natural semantics. In: Brandenburg F.J., Vidal-Naquet G., Wirsing M. (eds) STACS 87. STACS 1987. Lecture Notes in Computer Science, vol 247. Springer, Berlin, Heidelberg
During the past few years, many researchers have begun to present semantic specifications in a style that has been strongly advocated by Plotkin in . The purpose of this paper is to introduce in an intuitive manner the essential ideas of the method that we call now Natural Semantics, together with its connections to ideas in logic and computing. Natural Semantics is of interest per se and because it is used as a semantics specification formalism for an interactive computer system that we are currently building at INRIA.
Unable to display preview. Download preview PDF.