Size / / /

The Infinity-Everything Seminar (formerly the Type Theory seminar) meets on Thursdays, in 420-040.

Organizer: Joj HelferĀ 

Stanford University Department of Mathematics
SU Home Maps & Directions Search Stanford Terms of Use Copyright Complaints
© Stanford University, Stanford, California 94305