(r5rs.info.gz) Formal semantics

Info Catalog

(r5rs.info.gz) Formal syntax

(r5rs.info.gz) Formal syntax and semantics

(r5rs.info.gz) Derived expression type

 
 7.2 Formal 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 of
      the original document from which this was derived.
 

Info Catalog

(r5rs.info.gz) Formal syntax

(r5rs.info.gz) Formal syntax and semantics

(r5rs.info.gz) Derived expression type