Категорія:Лямбда-числення Основна стаття для цієї категорії: Лямбда-числення . Сторінки в категорії «Лямбда-числення» Показано 9 сторінок цієї категорії (із 9). К Каррінг (інформатика) Комбінаторна логікаЛ Лямбда-куб Лямбда-численняС Система FТ Типізоване лямбда-численняФ Функція вищого порядкуЧ Числення конструкцій Чиста система типів
. 
.