Skip to content
Meet other local people interested in Type Theory: share experiences, inspire and encourage each other! Join a Type Theory group.
2,352
members
8
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

892 MAD Haskellers | Madrid,
Photo of Madrid Haskell Users GroupOrganized by Reynaldo Cordero
pizza funzionale
Pizza funzionale
Pizza funzionale
2

NYC Category Theory and Algebra

792 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

Haskell DC

245 Haskellers | Arlington,
HD
Organized by James
4

Sydney Type Theory

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

Portland Has Skill

84 Haskellers | Portland,
Photo of Portland Has SkillOrganized by Kyle Beechly
6

Paris Idris Group

53 Membres | Paris,
Photo of Paris Idris GroupOrganized by Christophe Calvès
7

Austin Formal Methods User Group

45 Members | Austin,
Photo of Austin Formal Methods User GroupOrganized by Charlie Southerland
8

Penny University: Software, Makers, Writers, Medicine + more

3 Members | Austin,
Photo of Penny University: Software, Makers, Writers, Medicine + moreOrganized by Ravyn
Show all
Newest Type Theory groups
Penny University: Software, Makers, Writers, Medicine + more
3 Members
Started Jan 1 in Austin, us
Austin Formal Methods User Group
45 Members
Started Jan 1 in Austin, us
Portland Has Skill
84 Haskellers
Started Jan 1 in Portland, us
NYC Category Theory and Algebra
792 Category Theorists
Started Jan 1 in New York, us
Paris Idris Group
53 Membres
Started Jan 1 in Paris, fr
Madrid Haskell Users Group
892 MAD Haskellers
Started Jan 1 in Madrid, es