Bay Area Categories and Types

[vpatr...@gmail.com]

Hi,

This is for those who have not yet signed up for BACAT on meetup. 

We (BACAT) had a great meeting today, Mike Stay talked about closed symmetric monoidal categories and pi-calculus etc.

Next meeting same time same place 2 weeks from now.

Details/RSVP here: http://www.meetup.com/Bay-Area-Categories-And-Types

I plan to announce our meetings here for a while; and if somebody wants to give a talk on similar, or just Functional topics, you are welcome, please let me know.

Thanks,
-Vlad