Node: Formal semantics, Next: Derived expression type, Previous: Formal syntax, Up: Formal syntax and semantics
This section provides a formal denotational semantics for the primitive expressions of Scheme and selected built-in procedures. The concepts and notation used here are described in [STOY77].
Note: The formal semantics section was written in LaTeX which
is incompatible with TeXinfo. See the Formal semantics section:
<http://swissnet.ai.mit.edu/~jaffer/r5rs-formal.pdf
>