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 |