Type theory started being developed before CS and computers were a thing. It was developed as a foundation for logic and math when the naive set theory was shown to be self-contradictory. Its notation developed with the general development of math notation as logic and model theory evolved over time.