Теория типов и изоморфизм Карри-Ховарда: Глубокая гармония между Суждениями=Типами и Доказательствами=Программами
Tags
2 страницы
Lambda-Calculus
Лямбда-исчисление (Lambda Calculus) и истоки функционального программирования: от теории Алонзо Чёрча до Lisp и Haskell
