Hi all,
I am looking to forming a reading group on Categorical logic (I'm thinking of following Lambek's Introduction to Higher Order Categorical Logic, but if people have other suggestions, I'd be glad to hear :)
Would anyone be interested?
If you are, feel free to manifest yourself, so we can organize in a manner best suited to all