Για το
μέρος του μαθήματος που αφορά τον λ-λογισμό ακολουθήστε την
ιστοσελίδα
http://www.math.ntua.gr/logic/lambda. Μέρος του
μαθήματος καλύπτεται και από το μεταπτυχιακό μάθημα <<Εισαγωγή
στο λ-λογισμό>>.
Διδάσκων: Γιώργος Κολέτσος (Email: koletsos AT math DOT ntua DOT gr)