Commit f37b029b authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

modified dom

parent bb56c2da
......@@ -30,7 +30,7 @@ as \emph{type connectives}.
Let $t$ be a functional type (i.e., $t\leq\Empty\to\Any$) then
\begin{eqnarray}
\dom t & = & \max \{ u \alt \exists s, t\leq u\to s\} \qquad\makebox[1cm][l]{est-ce vrai?}
\dom t & = & \max \{ u \alt t\leq u\to \Any\}
\\
\apply t s & = &\min \{ u \alt t\leq s\to u\}
\\
......
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