DictionnaireLe forumContacts

   Allemand Anglais +
Google | Forvo | +

Church-Rosser-Theorem

n
intell. Church-Rosser theorem (Lambda-Kalkül)