en

Lambda calculus

ru

Перевод lambda calculus на русский язык

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