Skip to content
Homepage
English
Log in
Sign up
Home
Topics
Type Theory
Worldwide
Type Theory
Meet other local people interested in Type Theory: share experiences, inspire and encourage each other! Join a Type Theory group.
2,410
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
894 members
2
NYC Category Theory and Algebra
811 members
3
Haskell DC
245 members
4
Sydney Type Theory
240 members
5
Portland Has Skill
92 members
6
Austin Formal Methods User Group
56 members
7
Paris Idris Group
53 members
8
Penny University: Software, Makers, Writers, Medicine + more
19 members
1
Madrid Haskell Users Group
894 members
2
NYC Category Theory and Algebra
811 members
3
Haskell DC
245 members
4
Sydney Type Theory
240 members
5
Portland Has Skill
92 members
6
Austin Formal Methods User Group
56 members
7
Paris Idris Group
53 members
8
Penny University: Software, Makers, Writers, Medicine + more
19 members
Show all
Newest Type Theory groups
Penny University: Software, Makers, Writers, Medicine + more
19 Members
Austin Formal Methods User Group
56 Members
Portland Has Skill
92 Haskellers
NYC Category Theory and Algebra
811 Category Theorists
Paris Idris Group
53 Membres
Madrid Haskell Users Group
894 MAD Haskellers
Penny University: Software, Makers, Writers, Medicine + more
19 Members
Austin Formal Methods User Group
56 Members
Portland Has Skill
92 Haskellers
NYC Category Theory and Algebra
811 Category Theorists
Paris Idris Group
53 Membres
Madrid Haskell Users Group
894 MAD Haskellers
