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