Topos Logic Meetup Groups
loading data...
| Group 1 | Members 77 | Interested 3 | City 1 | Country 1 |
Largest Meetup Groups
|
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/ |
77
categorists and typists |
…Newest Meetup Groups
|
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/ |
77
categorists and typists |
Cities with the most people interested in Topos Logic Meetups
|
1
|
1 interested | |
|
2
|
1 interested | |
|
3
|
1 interested |
