Matija Pretnar: λ-račun

Povzetek. λ-račun je izjemno enostaven programski jezik (podan je z le dvema praviloma), ki služi za osnovo vsem funkcijskim programskim jezikom. Pokazali bomo, kako v λ-računu brez tipov računamo z naravnimi števili, pari in rekurzivnimi funkcijami, na koncu pa si bomo ogledali še λ-račun s tipi.