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