Information about gmane.comp.science.types
| Group | gmane.comp.science.types (NNTP, threaded HTTP, bloggy HTTP, RSS) |
| Address | types-list@... |
| Status | read-only (announcement / auto-generated list) |
| Description | TYPES is a moderated e-mail forum focusing on Type Theory in Computer Science, with a broad view of the subject. |
| Type | mailman |
| Url | http://www.cis.upenn.edu/~bcpierce/types/ |
| Encode | encrypt |
| Identifier |