types-announce

types-announce

List Id:

Announcements of interest to the TYPES community <types-announce.lists.seas.upenn.edu>

List Help:

mailto:types-announce-request@lists.seas.upenn.edu?subject=help

List Subscribe:

http://lists.seas.upenn.edu/mailman/listinfo/types-announce, mailto:types-announce-request@lists.seas.upenn.edu?subject=subscribe

Posting Address:

mailto:types-announce@lists.seas.upenn.edu

List Owner:

-

Alternate Archive:

http://lists.seas.upenn.edu/pipermail/types-announce

Gmane Archive:

gmane.comp.science.types.announce

Gmane Description:

Types-announce is a moderated, announcement only list focusing on Type Theory in Computer Science. ()

Mailing List System:

Mailman 2.1.14

Reputation:

Google Twitter Facebook Bing

Archive Localization: