Comment by qazxcvbnm

Implicit Computational Complexity deserves to be more well known.