Glavna stranica
Slučajna stranica
U blizini
Prijavi se
Postavke
Donacije
Impresum
Odricanje od odgovornosti
Traži
Kategorija
:
Lambda račun
Jezik
Prati
Uredi
Glavni članak za ovu kategoriju je
Lambda račun
.
Stranice u kategoriji »Lambda račun«
Prikazano je 6 stranica u ovoj kategoriji, od ukupno 6.
Lambda račun
C
Church-Rosserov teorem
K
Kombinatorna logika
S
SKI kombinatorni račun
Sustav F
T
Tipizirani lambda račun