Αναστασία Βενέτη: student profile
msc
| Enrolled in: | Οκτώβριος 2004 |
|---|---|
| Graduated on: | Πέμπτη, 13 Δεκ 2007 |
Thesis
Title: On a logical foundation of the intersection types assignment system: Intersection Logics.
Defended: Σάββατο, 01 Δεκ 2007.
phd
| Enrolled in: | Ιούλιος 2008 |
|---|---|
| Stopped in: | Ιανουάριος 2017 |
seminars given
| ημερομηνία | τίτλος | |
|---|---|---|
| 2008/05/09 | A logical foundation for the intersection and union type assignment system: Towards an intersection and union logic | |
| 1 seminar. | ||