Diskuse:Lambda kalkul

Z Wikipedie, otevřené encyklopedie

Nemalo by 4. pravidlo zakladneho formalneho popisu lambda kalkulu zniet: x ∈ V, M ∈ Λ → (λ . M) x ∈ Λ  ?