PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

For more information about this meeting, contact Becky Halpenny.

Title:"Semantics for Higher-order Intuitionistic Logic"
Seminar:Ph.D. Oral Comprehensive Examination
Speaker:Sankha Basu, Adviser: Stephen Simpson, Penn State
Abstract Link:http://

Room Reservation Information

Room Number:101 Wagner Building
Date:03 / 31 / 2011
Time:01:00pm - 03:00pm