Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly discrete mathematics) which have p
"Programming languages embody the pragmatics of designing software systems, and also the mathematical concepts which underlie them. Anyone who wants to know how
Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including l