Bay Area Categories And Types

Showing 1-20 of 142 topics
Convite pra Invited Speaker FOIS LogOnto 2014? Valeria 6/23/14
reminder vpatryshev 3/5/13
a reminder vpatryshev 10/23/12
next meeting vpatryshev 9/27/12
silicon valley codecamp Oct 6, 7 vpatryshev 9/22/12
next meeting vpatryshev 9/17/12
moving over to meetup vpatryshev 8/28/12
next meeting vpatryshev 8/27/12
Vladimir Voevodsky writes foundations in Coq vpatryshev 7/1/12
next meeting vpatryshev 6/15/12
interesting reading on graphic languages in monoidal categories vpatryshev 5/24/12
next meeting Wed. May 23 @EY vpatryshev 5/19/12
how about a book vpatryshev 5/14/12
no meeting this month vpatryshev 4/22/12
the meeting of March 28, 2012 vpatryshev 4/21/12
topic for the next meeting vpatryshev 3/28/12
presheaf.com functionality update vpatryshev 3/18/12
javascript as a category etc vpatryshev 3/4/12
"mapreduce as a monad" vpatryshev 2/19/12
next meeting vpatryshev 2/17/12
More topics »