'''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]]
This site is not affiliated with or endorsed in any way by the Wikimedia Foundation or any of its affiliates. In fact, we fucking despise them.
|