Topos Logic Meetup Groups

loading data...
Group 1 Members 155 Interested 10 City 1 Country 1

Largest Meetup Groups

  • Put this list on your website
1

A seminar dedicated to studying and discussing applied category theory, functors, monads, type theory, category logic, functional programming. Some basic knowledge is desired. Google group BACAT is migrating here: https://groups.google.com/forum/­…

155
categorists and typists

Newest Meetup Groups

  • Put this list on your website
August 27, 2012

A seminar dedicated to studying and discussing applied category theory, functors, monads, type theory, category logic, functional programming. Some basic knowledge is desired. Google group BACAT is migrating here: https://groups.google.com/forum/­…

155
categorists and typists
  • Subscribe to a feed of Topos Logic Meetup Groups:

Find a Topos Logic Meetup Group near you