Merge pull request #14 from jrincayc/fix_9

Fix 9: lamda definition

expr.tex

@@ -135,14 +135,11 @@ \subsection{Procedures}\unsection
 procedure.  When the procedure is later called with some actual
 arguments, the environment in which the \lambdaexp{} was evaluated will
 be extended by binding the variables in the formal argument list to
-fresh locations, and the corresponding actual argument values will be stored
-in those locations.
-(A \defining{fresh} location is one that is distinct from every previously
-existing location.)
-Next, the expressions in the
+the corresponding actual argument values.
+Next, the definitions and expression in the
 body of the lambda expression
 will be evaluated sequentially in the extended environment.
-The results of the last expression in the body will be returned as
+The results of the expression in the body will be returned as
 the results of the procedure call.
 
 \begin{scheme}
@@ -164,14 +161,12 @@ \subsection{Procedures}\unsection
 \begin{itemize}
 \item {\tt(\hyperi{variable} \dotsfoo)}:
 The procedure takes a fixed number of arguments; when the procedure is
-called, the arguments will be stored in fresh locations
-that are bound to the corresponding variables.
+called, the arguments will be bound to the corresponding variables.
 
 \item \hyper{variable}:
 The procedure takes any number of arguments; when the procedure is
 called, the sequence of actual arguments is converted into a newly
-allocated list, and the list is stored in a fresh location
-that is bound to
+allocated list, and the list is bound to
 \hyper{variable}.
 
 \end{itemize}
@@ -330,8 +325,8 @@ \subsection{Binding constructs}
 
 \semantics
 The \hyper{init}s are evaluated in the current environment (in some
-unspecified order), the \hyper{variable}s are bound to fresh locations
-holding the results, the \hyper{body} is evaluated in the extended
+unspecified order), the \hyper{variable}s are bound to
+the results, the \hyper{body} is evaluated in the extended
 environment, and the values of the last expression of \hyper{body}
 are returned.  Each binding of a \hyper{variable} has \hyper{body} as its
 region.\mainindex{region}

first.tex

@@ -118,8 +118,7 @@ \subsection*{Acknowledgments}
 
 The subset of Scheme in
 {\em The Little Schemer}~\cite{LittleSchemer} provided inspiration for
-Pico Scheme. We would like to thank Masanori Ogino, Wolfgang Corcoran-Mathe and
-John Cowan
+Pico Scheme. We would like to thank Masanori Ogino, Wolfgang Corcoran-Mathe, José Bollo and John Cowan
 for help with the Pico Scheme Report.
 
 

sem.tex

@@ -155,13 +155,15 @@ \subsection{Semantic functions}
 \begin{semfun}
   \Esem\sembrack{\hbox{\texttt{(lambda (\arbno{\I}) \arbno{\D} $\E_0$)}}} =$\\
   \go{1}\=$\lambda\rho\:.\:(\lambda\arbno{\epsilon}\:.\:\#\arbno{\epsilon} = \#{\arbno{\I}}\rightarrow$\\
-  \>\go{1}$(\Esem\sembrack{E_0})((tiedecs\:(extends\:\rho\:\arbno{\I}\:\arbno{\epsilon})\:\Dsem\sembrack{\arbno{\D}})),$\\
+  \>\go{1}$(\Esem\sembrack{E_0})(tiedecs\:$\=$(extends\:\rho\:\arbno{\I}\:\arbno{\epsilon})$\\
+  \>\>$\Dsem\sembrack{\arbno{\D}}),$\\
  \>\go{1}$ \wrong{wrong number of arguments})
 \end{semfun}
 
 \begin{semfun}
   \Esem\sembrack{\hbox{\texttt{(lambda \I \: \arbno{\D} $\E_0$)}}} =$\\
-  \go{1}\=$\lambda\rho\:.\:(\lambda\arbno{\epsilon}\:.\:(\Esem\sembrack{E_0})((\fun{tiedecs}\:(\rho[\langle\arbno{\epsilon}\rangle/\I])\:\Dsem\sembrack{\arbno{\D}})))
+  \go{1}\=$\lambda\rho\:.\:(\lambda\arbno{\epsilon}\:.\:(\Esem\sembrack{E_0})(\fun{tiedecs}\:$\=$(\rho[\langle\arbno{\epsilon}\rangle/\I])$\\
+  \>\>$\Dsem\sembrack{\arbno{\D}}))
 \end{semfun}
 
 \begin{semfun}