Section outline

  • 7 Μαρτίου

    λ-λογισμός, όροι, ελεύθερες και δεσμευμένες μεταβλητές, α-ισοδυναμία, απλή και σωστή αντικατάσταση, λήμματα αντικατάστασης β-αναγωγή [βιβλιογραφία: λ-λογισμός κολέτσος, krivine lambda calculus types and models.