Подскажите пожалуйста литературу по теории категорий, лямбда-исчислению и методам трансляции (в универе был курс, но только самые азы). Желательно на русском языке. Очень-очень желательна доступность в электронном виде.