Index of all the source code, one of the main results file is SubstitutionLemmas file

  • Alpha.html
  • Beta.html
  • Chi.html
  • ChurchRosser.html
  • Context.html
  • ListProperties.html
  • NaturalProp.html
  • ParallelReduction.html
  • Substitution.html
  • SubstitutionLemmas.html
  • Term.html