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