Twierdzenie Churcha-Rossera

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

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