Corrección de erratas PIA

1 files changed, 16 insertions, 8 deletions

diff --git a/pia/n3.lyx b/pia/n3.lyx
index 54b8cc9..b15577f 100644
--- a/pia/n3.lyx
+++ b/pia/n3.lyx
@@ -97,7 +97,7 @@ y escribimos
 \begin_inset Formula $\mathtt{if}\,i\,\mathtt{then}\,t\,\mathtt{else}\,e\coloneqq\mathtt{cond}\,i\,t\,e$
 \end_inset
 
-, así como 
+, 
 \begin_inset Formula $a\land b\coloneqq\mathtt{and}\,a\,b$
 \end_inset
 
@@ -457,7 +457,7 @@ pues
 \end_inset
 
 , 
-\begin_inset Formula ${\bf Y}\,f=\lambda x.(f({\bf Y}\,f)x)=\lambda x.E[{\bf Y}\,f/F]$
+\begin_inset Formula ${\bf Y}\,f=f({\bf Y}\,f)=\lambda x.E[{\bf Y}\,f/F]$
 \end_inset
 
 .
@@ -511,19 +511,27 @@ ligaduras paralelas
 \end_inset
 
 Una ligadura 
-\begin_inset Formula $x=E$
+\begin_inset Formula $x=\lambda b_{1}\,\dots\,b_{n}.E$
 \end_inset
 
  se puede sustituir por 
-\begin_inset Formula $x\,b_{1}\,\dots\,b_{n}=E\equiv x=\lambda b_{1}\,\dots\,b_{n}.E$
+\begin_inset Formula $x\,b_{1}\,\dots\,b_{n}=E$
+\end_inset
+
+, 
+\begin_inset Formula $x={\bf Y}(\lambda x.E)$
 \end_inset
 
-, por 
-\begin_inset Formula $\mathtt{rec\ }x=E\equiv x={\bf Y}(\lambda x.E)$
+ por 
+\begin_inset Formula $\mathtt{rec\ }x=E$
+\end_inset
+
+ y 
+\begin_inset Formula $x={\bf Y}(\lambda x\,b_{1}\,\dots\,b_{n}.E)$
 \end_inset
 
- o por 
-\begin_inset Formula $\mathtt{rec\ }x\,b_{1}\,\dots\,b_{n}=E\equiv x={\bf Y}(\lambda x\,b_{1}\,\dots\,b_{n}.E)$
+ por 
+\begin_inset Formula $\mathtt{rec\ }x\,b_{1}\,\dots\,b_{n}=E$
 \end_inset
 
 , donde los