Типизированное лямбда-исчисление - Упоминания в других статьях


всего найдено упоминаний этой статьи: 20





информация о статьеВольфенгаген, Вячеслав Эрнстович
Для В. Э. Вольфенгагена основным интересом являются новейшие достижения в области компьютерных наук и информационных технологий. Применив метод погруженных вычислительных систем, он первым в нашей стране в 1970-е годы вместе с коллегами и учениками, организовал разработку прототипной реляционной СУБД, интегрированной с аппликативной средой вычислений. В сотрудничестве с коллегами написал работы по теории реляционных систем и теории систем концептуального моделирования. Получил результаты и опубликовал работы по аппликативным вычислениям, теории вычислений, моделям вычислений, логике, комбинаторной логике, исчислению λ-конверсий, моделям данных, категориальной абстрактной машине, семантическим сетям, семантике языков программирования.




информация о статьеЛямбда-куб
Ля́мбда-куб (λ-куб) задает единообразное описание восьми различных систем типизированного лямбда-исчисления с явным приписыванием типов (систем, типизированных по Чёрчу). Он организован в соответствии с возможными зависимостями между типами и термами этого исчисления и формирует естественную структуру для исчисления конструкций. Идею лямбда-куба предложил в 1991 году голландский логик и математик Хенк Барендрегт.


всего найдено цитат на эту статью 20
Проект wiki-linki.ru основан на данных Wikipedia, доступной в соответствии с GNU Free Documentation License.