Без заголовка

Ты повторяешь мой вопрос. Есть ведь Curry-Howard. Но функциональные цветут и пахнут, а логические вымирают, как динозавры.