Категория:Лямбда-исчисление

Материал из Википедии — свободной энциклопедии

Перейти к: навигация, поиск

Основная статья: Лямбда-исчисление

Страницы в категории «Лямбда-исчисление»

Показано 7 страниц этой категории из 7.

C

Coq

К

Каррирование

К (продолжение)

Комбинаторная логика

Л

Т

Типизированное лямбда-исчисление

Ф

Функция высшего порядка

Источник — «http://ru.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%9B%D1%8F%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5»

Категории: Функциональное программирование | Модели вычислений

Просмотры

Личные инструменты

Представиться / зарегистрироваться

Поиск

Инструменты

На других языках

Powered by MediaWiki

Wikimedia Foundation

Последнее изменение этой страницы: 17:40, 28 ноября 2008.
Текст доступен на условиях лицензии Creative Commons Attribution/Share-Alike, в отдельных случаях могут действовать дополнительные условия. Подробнее см. Terms of Use.
Политика конфиденциальности
Описание Википедии
Отказ от ответственности