diff options
| -rw-r--r-- | transp-inf110-02-typage.tex | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/transp-inf110-02-typage.tex b/transp-inf110-02-typage.tex index 7b1f031..d05ca00 100644 --- a/transp-inf110-02-typage.tex +++ b/transp-inf110-02-typage.tex @@ -855,8 +855,9 @@ $\sigma_1,\ldots,\sigma_k$ : \item « $\rho\to\sigma\to\tau$ » signifie « $(\rho\to(\sigma\to\tau))$ » ; « $xyz$ » signifie « $((xy)z)$ » ; -\item on note « $\lambda (x:\sigma,t:\tau).E$ » pour « $\lambda - (x:\sigma). \lambda (t:\tau). E$ » ; +\item {\footnotesize on note « $\lambda (x:\sigma,t:\tau).E$ » ou + « $\lambda (x:\sigma)(t:\tau).E$ » pour « $\lambda + (x:\sigma). \lambda (t:\tau). E$ » ;} \item l'abstraction est moins prioritaire que l'application ; \item on considère les termes à renommage près des variables liées {\footnotesize ($\alpha$-conversion)}. |