Materiały uzupełniające do wykładu "Logika i teoria typów"
Wykład z rachunku lambda
Jaja aligatorów