Skip to content
Meet other local people interested in Type Theory: share experiences, inspire and encourage each other! Join a Type Theory group.
2,716
members
7
groups
Join Type Theory groups
Related Topics:
Nanotech
Computer Tutoring
Technology & Society
Computer History
Computer Training
Computing
Science & Technology
Systems
Develop Clean and Clear Algorithms
Computer Engineering

Largest Type Theory groups

1

Madrid Haskell Users Group

877 MAD Haskellers | Madrid,
Photo of Madrid Haskell Users GroupOrganized by Reynaldo Cordero
2

NYC Category Theory and Algebra

677 Category Theorists | New York,
Photo of NYC Category Theory and AlgebraOrganized by Wenbo Gao
Fig. 3, Bredon, p. 42.
Fig. 2, Wikipedia, defn.
Fig. 1, Hatcher, p. 2.
3

Bay Area Categories And Types

452 categorists and typists | Santa Clara,
Photo of Bay Area Categories And TypesOrganized by Valeria De Paiva
4

Sydney Type Theory

245 type theorists | Sydney,
Photo of Sydney Type TheoryOrganized by Mark Hopkins
5

Haskell DC

241 Haskellers | Arlington,
HDOrganized by James
6

Silicon Valley Deep Specification

171 Deep Specification explorers | Redwood City,
Photo of Silicon Valley Deep SpecificationOrganized by Oksana Stelmashchuk
7

Paris Idris Group

54 Membres | Paris,
Photo of Paris Idris GroupOrganized by Christophe Calvès
Show all
Newest Type Theory groups
NYC Category Theory and Algebra
677 Category Theorists
Started Jan 1 in New York, us
Paris Idris Group
54 Membres
Started Jan 1 in Paris, fr
Silicon Valley Deep Specification
171 Deep Specification explorers
Started Jan 1 in Redwood City, us
Madrid Haskell Users Group
877 MAD Haskellers
Started Jan 1 in Madrid, es
Sydney Type Theory
245 type theorists
Started Jan 1 in Sydney, au
Haskell DC
241 Haskellers
Started Jan 1 in Arlington, us