Twierdzenie Churcha-Rossera
Z Wikipedii, wolnej encyklopedii
Twierdzenie Churcha-Rossera, to twierdzenie mówiące o tym, że rachunek lambda jest silnie konfluentny.
- Tę stronę ostatnio zmodyfikowano o 16:47, 12 mar 2013.
- Tekst udostępniany na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń. Zobacz szczegółowe informacje o warunkach korzystania.
- Zasady zachowania poufności
- O Wikipedii
- Korzystasz z Wikipedii tylko na własną odpowiedzialność
- Wersja dla urządzeń mobilnych
