Skip to content

Type Theory

Meet other local people interested in Type Theory: share experiences, inspire and encourage each other! Join a Type Theory group.
pin icon
2,442
members
people1 icon
7
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

NYC Category Theory and Algebra
1

NYC Category Theory and Algebra

  • Photo of the user Member 1
845 members
Madrid Haskell Users Group
2

Madrid Haskell Users Group

    816 members
    Lean Paris
    3

    Lean Paris

    • Photo of the user Member 1
    312 members
    Sydney Type Theory
    4

    Sydney Type Theory

    • Photo of the user Member 1
    • Photo of the user Member 2
    225 members
    Austin Formal Methods User Group
    5

    Austin Formal Methods User Group

    • Photo of the user Member 1
    122 members
    Portland Has Skill
    6

    Portland Has Skill

    • Photo of the user Member 1
    98 members
    Penny University: Software, Makers, Writers, Medicine + more
    7

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

    • Photo of the user Member 1
    23 members

    Newest Type Theory groups

    Lean Paris

    312 Members

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

    23 Members

    Austin Formal Methods User Group

    122 Members

    Portland Has Skill

    98 Haskellers

    NYC Category Theory and Algebra

    845 Category Theorists

    Madrid Haskell Users Group

    816 MAD Haskellers