Twierdzenie Churcha-Rossera
Z Wikipedii
Twierdzenie Churcha-Rossera, to twierdzenie mówiące o tym że rachunek lambda jest silnie konfluentny.
Zobacz też: przegląd zagadnień z zakresu matematyki
Twierdzenie Churcha-Rossera, to twierdzenie mówiące o tym że rachunek lambda jest silnie konfluentny.
Zobacz też: przegląd zagadnień z zakresu matematyki