Anastasia Veneti: student profile
msc
| Enrolled in: | October 2004 |
|---|---|
| Graduated on: | Thursday, 13 Dec 2007 |
Thesis
Title: On a logical foundation of the intersection types assignment system: Intersection Logics.
Defended: Saturday, 01 Dec 2007.
phd
| Enrolled in: | July 2008 |
|---|---|
| Stopped in: | January 2017 |
seminars given
| date | title | |
|---|---|---|
| 2008/05/09 | A logical foundation for the intersection and union type assignment system: Towards an intersection and union logic | |
| 1 seminar. | ||