
Lambda calculus

Перевод lambda calculus на русский язык
lambda calculus
Lambda calculus is a formal system in mathematical logic.
Лямбда-исчисление - это формальная система в математической логике.