Tag theoretical computer science