Зато там есть крайне интересные мысли о применении лямбда-исчисления и комбинаторной логики для реализации магических вычислений на рунах, например.
Кроме КТП есть много других интересных областей знания, где можно развернуться :) По правде сказать, сейчас, когда очарование первого знакомства немного прошло, я с большим трудом представляю, как об этом можно написать фентези. Думать над этим надо много, а профит не очевиден.