There are many different backgrounds from which to explore these topics, and type theory is just one way. Also the introduction isn't really trying to formalize computation itself, but give mathematical tools for talking about algorithms.

The abstract species/genus is probably inspired more by Aristotle than CS topics.