Для реализации какого из перечисленных языков программирования использовалась категориальная комбинаторная логика?

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

• # Что отличает императивные языки программирования от декларативных?
• # Для каких доменов рекурсивные определения разрешимы?
• # Какая из формализаций является наиболее зрелой?
• # Каким образом осуществляется построение ламбда-термов?
• # Какой из объектов не имеет обозначения в формах Бэкуса-Наура?