Здесь находится то, что скорее относится к теории информатики, а не к реализация с использованием языков программирования.

Теории:

• Теория вычислений
• Теория категорий
• Основания информатики

Термины:

• Сложность
• Лямбда-куб
• Квадрат типизации

Проблемы:

• Проблема фунарга
• Проблема остановки

Учебники (теория):

• Информатика https://kpolyakov.spb.ru