These are scans of the proofs accompanying the paper "Universe Types for Race Safety" submitted to VAMP 07.
Note: Lemma A1 (the first auxiliary lemma) is different to lemma A.1 (the first lemma of appendix A). We do not prove any of the lemmas/theorems from appendix A (they were proved in the UJ paper) but we sometimes use them in the proofs below.
Last updated: 09/04/2007
| Lemma 4.1 | 1 |
| Lemma 4.2 | 1 2 3 |
| Lemma 4.3 | 1 2 3 4 5 6 7 8 9 |
| Theorem 4.4 | 1 2 3 4 5 |
| Lemma 4.5 | 1 2 3 |
| Theorem 4.6 | 1 |
| Lemma B.2 | 1 2 |
| Lemma B.4 | 1 |
| Lemma B.5 | 1 |
| Lemma B.6 | 1 2 |
| Lemma B.7 | 1 2 |
| Lemma B.8 | 1 |
| Lemma B.9 | 1 2 3 4 |
| Lemma A1 | 1 |
| Lemma A2 | 1 |
| Lemma A3 | 1 |
| Lemma A4 | 1 |
| Lemma A5 | 1 |
| Lemma A6 | 1 |
| Lemma A7 | 1 |
| Lemma A8 | 1 |
| Lemma A9 | 1 |
| Lemma A10 | 1 |
| Lemma A11 | 1 |
| Lemma A12 | 1 2 |
| Lemma A13 | 1 2 3 4 |
| Lemma A14 | 1 |
| Lemma A15 | 1 |
| Lemma A16 | 1 |
| Lemma A17 | 1 |
| Lemma A18 | 1 |
| Lemma A19 | 1 |
| Lemma A20 | 1 |
| Lemma A21 | 1 |
| Lemma A22 | 1 |
| Lemma A23 | 1 |
| Lemma A24 | 1 |
| Lemma A25 | 1 |
| Lemma A26 | 1 |
| Lemma A27 | 1 |
| Lemma A28 | 1 |
| Lemma A29 | 1 |
| Lemma A30 | 1 |
| Lemma A31 | 1 |
Valid HTML. Mistakes etc. to Dave Cunningham
