Что можно почитать по сабжу ?





Ответ на:
комментарий
от Begemoth

Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.
Похожие темы
- Форум Лямбда исчисление: в чем подвох? (2014)
- Форум Книги по лямбда исчислению ? (2010)
- Форум лямбда-исчисление и проблема останова (2014)
- Форум Конфликт имен в лямбда-исчислении (2014)
- Форум Связанные переменные в лямбда-исчислении (2014)
- Форум Посоветуйте, пожалуйста, книжку для фанатов лямбда-исчисления (2020)
- Форум Лямбда-выражения для идиота (2011)
- Форум лямбда (2006)
- Форум барендрегт, лямбда исчисление, вывод из аксиом, похожий на булевы алгебры (2018)
- Форум вариационное исчисление (2012)