Kategorija:Lambda račun
Izvor: Wikipedija
Skoči na:
orijentacija
,
traži
Glavni članak za ovu kategoriju je
Lambda račun
.
Članci u kategoriji "Lambda račun"
6 stranica je u ovoj kategoriji, od njih 6 ukupno.
Lambda račun
C
Church-Rosserov teorem
K
Kombinatorna logika
S
SKI kombinatorni račun
Sustav F
T
Tipizirani lambda račun
Kategorija
:
Teoretsko računarstvo
Pogledi
Kategorija
Razgovor
Uredi
Stare izmjene
Osobni alati
Prijavi se
Orijentacija
Glavna stranica
Kafić
Aktualno
Nedavne promjene
Slučajna stranica
Pomoć
Donacije
Napravi zbirku
Dodaj kategoriju
Zbirke pomoć
Traži
Alati
Što vodi ovamo
Povezane stranice
Postavi datoteku
Posebne stranice
Verzija za ispis
Trajna poveznica
PDF inačica
Drugi jezici
English
Esperanto
Nederlands
Polski
Русский
中文