Title: Representation Theorems in Computer Science