4 ms·
To be clear, most theoretical computer science research is not type theory. Not even close to it either.
by j2kun 12y ago
To be clear, most theoretical computer science research is not type theory. Not even close to it either.
- seanmcdirmid 12y agoEven most PL research is not type theory; it is its own field.