Seminar
| Speaker: | Αναστασία Βενέτη |
|---|---|
| Title: | A logical foundation for the intersection and union type assignment system: Towards an intersection and union logic |
| Date: | Παρασκευή, 09 Μάι 2008 |
| Ώρα: | 18:00-19:00 |
| You are here: Seminars » 2007-2008 » Α. Βενέτη, 2008-05-09 |
| Speaker: | Αναστασία Βενέτη |
|---|---|
| Title: | A logical foundation for the intersection and union type assignment system: Towards an intersection and union logic |
| Date: | Παρασκευή, 09 Μάι 2008 |
| Ώρα: | 18:00-19:00 |
Comments