Круг затрагиваемых вопросов: 

1. Построение формальной системы с операторами аппликации и абстракции.
2. Базисы и разложения объекта в базисе: "встроенные при- ложения".
3. Вычисление значения объекта, или "компилирование кода".
4. Возможности построения абстрактной машины. Перспективы исследований.