Index of /paper/witness/witness-jfp/Appendix

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]ProofPreservation.tex2011-02-05 05:07 18K 
[TXT]ProofVisibleActions.tex2011-02-05 05:07 15K 
[TXT]ProofProgress.tex2011-02-05 02:58 10K 
[TXT]ProofSubstTypesInValues.tex2011-02-05 02:52 8.1K 
[TXT]Lemmas.tex2011-02-05 02:52 6.8K 
[TXT]ProofSubstValuesInValues.tex2011-02-05 02:52 5.8K 
[TXT]ProofCommutableActions.tex2011-02-11 00:49 4.6K 
[TXT]ProofSubstTypesInTypes.tex2011-02-05 02:52 3.8K 
[TXT]ProofSubstTypesInKinds.tex2011-02-05 02:52 3.5K 
[TXT]Extensions.tex2011-01-12 02:09 3.2K 
[TXT]ProofCommutableResidues.tex2011-02-11 00:49 2.4K 
[TXT]Main.tex2011-02-05 05:11 1.8K 
[TXT]Formalities.tex2011-02-05 02:52 1.4K 

Apache/2.4.38 (Debian) Server at code.ouroborus.net Port 80