The Church–Rosser property of the lambda calculus means that evaluation (β-reduction) can be carried out in any order, even in parallel.
Черч-Росерова особина у ламбда рачуну значи да процена (β-редукција) може бити избачена у било ком редоследу, чак и у паралели.