Groups
Sign in
Groups
Type Theory Study Group
Conversations
About
Send feedback
Help
Type Theory Study Group
Contact owners and managers
type-theory-study-group@googlegroups.com
Description
A mailing list for our online study group focused on topics to do with type theory, programming languages, and mathematics. All are welcome, beginner questions are encouraged.
Language
English
Privacy
Anyone on the web
can see group
Group owners and managers
can view members
Anyone on the web
can view conversations
Group members
can post
Anyone on the web
can join group