В математической логике и информатике лямбда-исчисление, также обозначаемое как Î '' - исчисление, представляет собой формальную систему для определения функций, их применения и рекурсии.
В математической логике и информатике лямбда-исчисление, также Î '' - исчисление, является формальной системой.