From 64dd7e253b802407378be571bc15f53ee1673f6b Mon Sep 17 00:00:00 2001 From: Juan Marin Noguera Date: Sun, 25 Sep 2022 17:10:53 +0200 Subject: Tema 2 PIA --- pia/n.lyx | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) (limited to 'pia/n.lyx') diff --git a/pia/n.lyx b/pia/n.lyx index d4b72d7..d883b00 100644 --- a/pia/n.lyx +++ b/pia/n.lyx @@ -141,6 +141,27 @@ Bibliografía: Apuntes de clase. \end_layout +\begin_layout Itemize +Wikipedia, the Free Encyclopedia. + +\emph on +Reduction Strategy +\emph default +. + Recuperado de +\begin_inset Flex URL +status open + +\begin_layout Plain Layout + +https://en.wikipedia.org/wiki/Reduction_strategy +\end_layout + +\end_inset + + el 25 de septiembre de 2022. +\end_layout + \begin_layout Chapter Introducción \end_layout @@ -153,6 +174,20 @@ filename "n1.lyx" \end_inset +\end_layout + +\begin_layout Chapter +Cálculo lambda +\end_layout + +\begin_layout Standard +\begin_inset CommandInset include +LatexCommand input +filename "n2.lyx" + +\end_inset + + \end_layout \end_body -- cgit v1.2.3