Какие из преобразований надо применить, чтобы редуцировать (λx.sin x) 0 →​ 0?

вопрос

Правильный ответ:

Оставить комментарий

Отправить

• # В каком порядка обходятся поддеревья в инфиксном порядке обхода?
• # Какова сложность поиска в дереве поиска?
• # Какой самый внешний редекс в выражении (λx.λy.y) ((λz.z z) (λz.z z))?
• # Что является следствием теоремы стандартизации?
• # Алгоритм вывода типов W содержит в себе следующие основные этапы: