История языков программирования
С середины 50-х гг. XX в. начали создавать первые языки программирования высокого уровня (high-level programming languages). Эти языки не были привязаны к определенному типу ЭВМ (машинонезависимы). Для каждого из них были разработаны собственные компиляторы. Компиляция — трансляция программы, составленной на исходном языке высокого уровня, в эквивалентную программу на низкоуровневом языке, близком машинному коду (абсолютный код, объектный модуль, иногда язык ассемблера).
Лямбда-исчисление
Эту трудность в начале 1970-х годов преодолел Дана Скотт, построив понятие области formula_56 (изначально на полных решётках, в дальнейшем обобщив до полного частично упорядоченного множества со специальной топологией) и урезав "formula_57" до непрерывных в этой топологии функций. На основе этих построений была создана языков программирования, в частности, благодаря тому, что с помощью них можно придать точный смысл таким двум важным конструкциям языков программирования, как рекурсия и типы данных.