Add to Chrome
✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
Лямбда-числення можна вважати
імперативною мовою програмування
теорією предикатів
S-численням
абстрактною обчислювальною машиною
Get Unlimited Answers To Exam Questions - Install Crowdly Extension Now!