types-announce
Thread
Date
Refine search
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
Hints ?>
Reputation:
Google
Twitter
Facebook
Bing
Archive Localization
:
Arabic — العربية
Catalan — català
Chinese — 中文(简体)
Czech — česky
Danish — Dansk
Dutch — Nederlands
English
French — Français
German — Deutsch
Greek — Ελληνικά
Hebrew — עברית
Gaelic — Goidelic
Hungarian — magyar
Indonesian — Bahasa Indonesia
Italian — Italiano
Japanese — 日本語
Korean — 한국어
Lithuanian — lietuvių kalba
Norwegian — Norsk
Polish — polski
Portuguese — Português
Romanian — Română
Russian — Русский
Serbian — srpski jezik
Spanish — Español
Swedish — Svenska
Spam — Spam
Tamil — தமிழ்
Turkish — Türkçe
Ukranian — українська
Vietnamese — Tiếng Việt
Custom Logo
:
QR Code
: