Index of /paper/witness/witness-jfp/04-Language

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]DynamicObjects.tex2010-07-02 04:51 566  
[TXT]SupersOfKinds.tex2010-07-07 08:27 833  
[TXT]TypesOfAlternatives.tex2011-01-05 09:29 768  
[TXT]KindsOfTypes.tex2011-01-10 08:17 2.7K 
[TXT]Core.tex2011-01-11 01:25 4.0K 
[TXT]KindsOfWitnesses.tex2011-01-21 03:11 861  
[TXT]EvalWitness.tex2011-01-21 04:12 1.2K 
[TXT]PureEffects.tex2011-01-21 04:12 540  
[TXT]cuts.tex2011-02-11 00:42 4.7K 
[TXT]EvalNatural.tex2011-02-11 00:49 4.0K 
[TXT]EvalOperational.tex2011-02-11 00:49 3.2K 
[TXT]SubsOfEffects.tex2011-02-11 00:49 422  
[TXT]TypesOfTerms.tex2011-02-11 00:49 4.2K 

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