Introduction to categories and categorical logic

Bibliographic Details
Main Authors: Abramsky, S, Tzevelekos, N
Format: Journal article
Published: 2010