Колега ми изпрати , един от създателите на езика Haskell, в което разказва историята на ламбда смятането и теорията на доказателствата и откриването на съответствието на Curry и Howard. Общо взето това, което разказах в уводната лекция, но по-забавно, така че си струва да го погледнете.