3 ms·
No, this is the time complexity of type checking before any computation on the terms is performed.
by chalst 5y ago
No, this is the time complexity of type checking before any computation on the terms is performed.
- Ericson2314 5y agoYes I am saying that while it is exponential with respect to the input, and it is polynomial with respect to the output.