Maybe the keyword you are looking for is "Implicit Complexity". It is more general than Curry-Howard correspondence, but several lines of research investigate along the axis you are interested in. You can check for instance the publications of Patrick Baillot for many references and pointers. For a little self-promotion, here are for instance two ...


$(x< y) \land (y < z) \land (z < x)$

Only top voted, non community-wiki answers of a minimum length are eligible