The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Confe...

Category theory provides a general conceptual framework that has proved fruitful in subjects as d...

The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Confe...