The Types Forum
Edit Page
Report
Scan day: 07 February 2014 UTC
42
Virus safety - good
Description: E-mail forum for semantical, categorical, operational, and proof theoretical topics relating to type theory.
TYPES is a moderated e-mail forum focusing on Type Theory in Computer Science, with a broad view of the subject encompassing semantical, categorical, operational, and proof theoretical topics, as well as algorithmic issues and applications. Typical topics include:
Size: 264 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | The TYPES Forum |
| Keywords: | |
| Description: | |
| IP-address: | 158.130.69.24 |
WHOIS Info
| NS | Name Servers: ADNS1.UPENN.EDU 128.91.3.128, 2607:f470:1001::1:a ADNS2.UPENN.EDU 128.91.254.22, 2607:f470:1002::2:3 |
| WHOIS | |
| Date | activated: 02-Jun-1986 last updated: 14-Jan-2014 expires: 31-Jul-2014 |