Commit 5bc363b0 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

small changes

parent e8514524
......@@ -1303,7 +1303,7 @@
\end{proof}
\begin{theorem}[Completeness of the algorithm for positive derivations]
For any $\Gamma$, $e$, $t$ such that we have a positive derivation of $\Gamma \vdash e:t$,
For every $\Gamma$, $e$, $t$ such that we have a positive derivation of $\Gamma \vdash e:t$,
there exists a global parameter $n_o$ with which $\tsrep{\tyof e \Gamma} \leq t$.
More precisely:
......
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