Gmane

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

Edit these values

Raw data