Title: A Basis for Theoretical Computer Science