Awodey, Steve
Edit Page
Report
Scan day: 09 February 2014 UTC
30
Virus safety - good
Description: Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
   Philosophy of Mathematics    Early Analytic Philosophy Homotopy Type Theory and Univalent Foundations . More information on this research program can be found on the site . Information on the special year 2012-13 on Univalent Foundations at the Institute for Advanced Study can be found on the
Size: 304 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Steve Awodey |
| Keywords: | |
| Description: | |
| IP-address: | 128.2.42.53 |
WHOIS Info
| NS | Name Servers: NSAUTH1.NET.CMU.EDU 128.2.1.8 NSAUTH2.NET.CMU.EDU 128.237.148.168 |
| WHOIS | |
| Date | activated: 24-Apr-1985 last updated: 16-Sep-2010 expires: 31-Jul-2014 |