> A more discrete combinatorial approach could imply a corresponding proximity to programming language theories and type theories.

I'm just curious, what theories are you talking about?