From c6de39abc6e82b1b715b1bbc86fe6f4ba522b777 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Thu, 30 Nov 2023 15:08:35 +0100
Subject: Minor fixes.

---
 transp-inf110-02-typage.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'transp-inf110-02-typage.tex')

diff --git a/transp-inf110-02-typage.tex b/transp-inf110-02-typage.tex
index 9d31d0b..8ee4ae4 100644
--- a/transp-inf110-02-typage.tex
+++ b/transp-inf110-02-typage.tex
@@ -422,7 +422,7 @@ paramétrique) avec Java 5, puis diverses sortes d'inférence.
 \medskip
 
 \itempoint Rust : interaction avec la gestion de la mémoire
-($\approx$ typage linéaire).
+($\approx$ typage linéaire/affine).
 
 \end{frame}
 %
@@ -845,8 +845,8 @@ $\sigma_1,\ldots,\sigma_k$ :
 \begin{itemize}
 \item une \textbf{variable de terme} ($a$, $b$, $c$... en nombre illimité),
 \item une \textbf{application} $(PQ)$ où $P$ et $Q$ sont deux termes,
-\item une \textbf{abstraction} $\lambda(v:\sigma).E$ où $v$ est une
-  variable, $\sigma$ un type et $E$ un terme.
+\item une \textbf{abstraction} $\lambda(v:\sigma).E$ avec $v$
+  variable, $\sigma$ type et $E$ préterme.
 \end{itemize}
 
 \medskip
-- 
cgit v1.2.3