Twierdzenie Churcha-Rossera

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

Twierdzenie Churcha-Rossera, to twierdzenie mówiące o tym, że rachunek lambda jest silnie konfluentny.