AC
Просто понимаешь, если есть алгоритм, причем, работающий - значит есть некая машина (например, Тьюринга), которая его исполняет. Она и есть мат.модель (или часть мат.модели). И типы - тоже вычисляются по некоторому алгоритму.
Это в математике так, а в жизни твой алгоритм запросто может привести к segmentation fault и undefined behavior