Lambda kalkul: Porovnání verzí
Smazaný obsah Přidaný obsah
m oprava odkazu na rozcestnik nebo redirect, Funkce->funkce (matematika) |
m Robot: Změna šablony: pahýl-část |
||
Řádek 85:
:''TPQ ≡ (λxy . x) PQ = P'' (resp. ''FPQ = Q'')
{{pahýl
== Teoretické využití ==
| |||