Commit 008aba50 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

more formulas

parent 17992359
......@@ -39,13 +39,13 @@ In what follows we will omit the indexes $e$ and $\Gamma,e,t$ when they are clea
Let $t$ be a functional type (i.e., $t\leq\Empty\to\Any$) then
\[
\apply t s = \min \{ u \alt t\leq s\to u\}
\]
\[
\worra t s = \min\{u\leq \dom t\alt t\circ(\dom t\setminus u)\leq \neg s\}
\]
\begin{eqnarray}
\dom t & = & \max \{ u \alt \exists s, t\leq u\to s\} \qquad\makebox[1cm][l]{est-ce vrai?}
\\
\apply t s & = &\min \{ u \alt t\leq s\to u\}
\\
\worra t s & = &\min\{u\leq \dom t\alt t\circ(\dom t\setminus u)\leq \neg s\}
\end{eqnarray}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment