Έχουν αναρτηθεί σημειώσεις για τον λ-λογισμό στη σελίδα του μαθήματος.