Go backward to Evaluation Functions Go up to Top Go forward to S Rule

Observations

1. Global data structures are modelled as arguments to valuation functions.

   No "global variables" for functions.

2. Meaning of a syntactic construct can be a function.

   S's functionality states thant the meaning of an expression sequence is a function from a memory cell to a list of numbers.