@INCOLLECTION{2011LNP...813....3A,
    author = {{Abramsky}, S. and {Tzevelekos}, N.},
    title = {{Introduction to Categories and Categorical Logic}},
    keywords = {Physics, Mathematics - Category Theory, Computer Science - Logic in Computer Science},
    booktitle = {Lecture Notes in Physics, Berlin Springer Verlag},
    year = {2011},
    editor = {{Coecke}, Bob},
    volume = {813},
    pages = {3},
    doi = {10.1007/978-3-642-12821-9_1},
    adsurl = {https://ui.adsabs.harvard.edu/abs/2011LNP...813....3A},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    date-added = {2024-2-8 7:28:48 +0100}
}

@INCOLLECTION{2011LNP...813....3A, author = {{Abramsky}, S. and {Tzevelekos}, N.}, title = {{Introduction to Categories and Categorical Logic}}, keywords = {Physics, Mathematics - Category Theory, Computer Science - Logic in Computer Science}, booktitle = {Lecture Notes in Physics, Berlin Springer Verlag}, year = {2011}, editor = {{Coecke}, Bob}, volume = {813}, pages = {3}, doi = {10.1007/978-3-642-12821-9_1}, adsurl = {https://ui.adsabs.harvard.edu/abs/2011LNP...813....3A}, adsnote = {Provided by the SAO/NASA Astrophysics Data System}, date-added = {2024-2-8 7:28:48 +0100} }