Révision 224 CSL17/appendix-completeness.tex
| appendix-completeness.tex (revision 224) | ||
|---|---|---|
| 1 |
\section{Proof of completeness}
|
|
| 1 |
\section{Proof of completeness}\label{appendix:completeness}
|
|
| 2 | 2 |
|
| 3 | 3 |
The rest of this section is devoted to a proof of this theorem. |
| 4 | 4 |
We proceed by structural induction on a $\mubc^{i-1} $ program, dealing with each case in the proceeding paragraphs.
|
Formats disponibles : Unified diff