Strona główna
Losuj
W pobliżu
Zaloguj się
Ustawienia
Wspomóż Wikipedię
O Wikipedii
Korzystasz z Wikipedii tylko na własną odpowiedzialność
Szukaj
Kategoria
:
Rachunek lambda
Język
Obserwuj
Edytuj
Strony w kategorii „Rachunek lambda”
Poniżej wyświetlono 12 spośród wszystkich 12 stron tej kategorii.
Rachunek lambda
A
Arytmetyka w rachunku lambda
C
Currying
Czołowa postać normalna
F
Funkcja anonimowa
K
Konwersja α
L
Liczby naturalne Churcha
O
Operator paradoksalny
R
Rachunek lambda z typami
Redukcja beta
S
Słaba czołowa postać normalna
System F