Seminar
| Speaker: | S. Ghilezan (University of Novi Sad) |
|---|---|
| Title: | Intersection types in classical logic |
| Date: | Παρασκευή, 28 Νοέ 2003 |
| Ώρα: | 18:00-19:00 |
| You are here: Seminars » 2003-2004 » S. Ghilezan, 2003-11-28 |
| Speaker: | S. Ghilezan (University of Novi Sad) |
|---|---|
| Title: | Intersection types in classical logic |
| Date: | Παρασκευή, 28 Νοέ 2003 |
| Ώρα: | 18:00-19:00 |
Comments