Skip to main content

Introduction to categories and categorical logic

S. Abramsky and N. Tzevelekos

Journal
New Structures for Physics. Springer
Year
2010