Church-Rosser Theorem
   HOME
*