1-8 of 8 Books

Categorical combinators, sequential algorithms, and functional programming
By P.-L Curien

An Elementary Approach to Homological Algebra (Chapman & Hall/Crc Monographs and Surveys in Pure and Applied Mathematics.)
By L.R. Vermani

Categories, types, and structures
By Andrea Asperti

Mathematisch-strukturelle Grundlagen der Informatik
By Hartmut Ehrig,Bernd Mahr,F. Cornelius,Martin Große-Rhode,P. Zeitz

Mathematisch-strukturelle Grundlagen der Informatik
By Hartmut Ehrig,Bernd Mahr,Felix Cornelius,Martin Große-Rhode

Categorical methods in computer science
By Hartmut Ehrig