SłownikiForumKontakt

   Angielski +
Google | Forvo | +

Church-Rosser theorem

sztuczn. Church-Rosser-Theorem n (Lambda-Kalkül)