> A more discrete combinatorial approach could imply a corresponding proximity to programming language theories and type theories. I'm just curious, what theor

> 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?