Stranice koje vode na »Lambda račun«
Prikazane su 22 stavke.
- Algoritam (← poveznice | uredi)
- Turingov stroj (← poveznice | uredi)
- Operacijska semantika (← poveznice | uredi)
- Formalna semantika programskih jezika (← poveznice | uredi)
- Teorija računanja (← poveznice | uredi)
- Teorija izračunljivosti (računarstvo) (← poveznice | uredi)
- Lisp (← poveznice | uredi)
- Funkcijsko programiranje (← poveznice | uredi)
- Kombinatorna logika (← poveznice | uredi)
- Church-Rosserov teorem (← poveznice | uredi)
- Sustav F (← poveznice | uredi)
- ML (programski jezik) (← poveznice | uredi)
- Montague gramatika (← poveznice | uredi)
- Netipizirani lambda račun (stranica za preusmjeravanje) (← poveznice | uredi)
- Alonzo Church (← poveznice | uredi)
- SKI kombinatorni račun (← poveznice | uredi)
- Teorija programskih jezika (← poveznice | uredi)
- Wikipedija:Suradnički okvirići/Matematika (← poveznice | uredi)
- Predložak:SO/λ (← poveznice | uredi)
- Kategorija:Lambda račun (← poveznice | uredi)
- Dodatak:Popis istaknutih pionira računarstva (← poveznice | uredi)
- Dodatak:Popis računalnih znanstvenika (← poveznice | uredi)