Revision 35069386 of "Twierdzenie Churcha-Rossera" on plwiki

'''Twierdzenie Churcha-Rossera''', to twierdzenie mówiące o tym, że [[rachunek lambda]] jest [[relacja silnie konfluentna|silnie konfluentny]].

[[Kategoria:Rachunek lambda]]
[[Kategoria:Twierdzenia matematyczne|Churcha-Rossera]]