![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| env.sh | 31-Jan-2008 21:58 | 160 | |
| subset-typing-algo.tex | 31-Jan-2008 21:58 | 38K | |
| subset-typing-appendix.tex | 31-Jan-2008 21:58 | 3.6K | |
| subset-typing-ccp.tex | 31-Jan-2008 21:58 | 1.5K | |
| subset-typing-concl.tex | 31-Jan-2008 21:58 | 1.4K | |
| subset-typing-decl.tex | 31-Jan-2008 21:58 | 9.2K | |
| subset-typing-garde.tex | 31-Jan-2008 21:58 | 592 | |
| subset-typing-impl-correct.tex | 31-Jan-2008 21:58 | 24K | |
| subset-typing-impl-proof.tex | 31-Jan-2008 21:58 | 20K | |
| subset-typing-impl-subtyping-subst.tex | 31-Jan-2008 21:58 | 35K | |
| subset-typing-impl-subtyping-trans.tex | 31-Jan-2008 21:58 | 17K | |
| subset-typing-impl-subtyping.tex | 31-Jan-2008 21:58 | 9.7K | |
| subset-typing-impl.tex | 31-Jan-2008 21:58 | 7.4K | |
| subset-typing-intro.tex | 31-Jan-2008 21:58 | 14K | |
| subset-typing-preamble.tex | 31-Jan-2008 21:58 | 1.7K | |
| subset-typing-short.tex | 31-Jan-2008 21:58 | 29K | |
| subset-typing-subtac.tex | 31-Jan-2008 21:58 | 7.6K | |
| subset-typing.tex | 31-Jan-2008 21:58 | 3.1K | |