Каковы основные условия для декартово замкнутых категорий?

Какие условия необходимы для формирования декартово замкнутых категорий?

Какие условия необходимы для формирования декартовых категорий?

Каковы основные стратегии вычислений?

Каковы основные формализации ленивых вычислений?

Каковы основные способы задания типа?

Каковы основные пути оптимизации КАМ-кода?

Каковы основные компоненты формальной теории?

Каковы основные свойства отношения конвертируемости?

Каковы основные компоненты чистой системы типов?

Каковы основные компоненты формальной теории комбинаторной логики?