[sicp-enjoyer]

Can you say more about why that put you off?

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.

[Jiocus]

I don't think the terms "Abstract species/genus" ever came up, but it makes me think of Introductory course to Object-Oriented Programming (Java), lecture 5: Inheritance

[sicp-enjoyer]

You might be happy to know there is no inheritance in these books.