Przejdź do zawartości

Kategoria:Rachunek lambda

Z Wikipedii, wolnej encyklopedii

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

F

Funkcja anonimowa

K

Konwersja α

L

Liczby naturalne Churcha

O

Operator paradoksalny

R

S

Źródło: „https://pl.wikipedia.org/w/index.php?title=Kategoria:Rachunek_lambda&oldid=59906916”