3 ms·
Intriguing. A more discrete combinatorial approach could imply a corresponding proximity to programming language theories and type theories. This may be a bit f
by archibaldJ 5y ago
Intriguing. A more discrete combinatorial approach could imply a corresponding proximity to programming language theories and type theories. This may be a bit far-fetch, but is there any chance introduction of parser/intrepreter-like constructs can be of useful significance?
- tomsel 5y ago> 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?