Anastasia Veneti: student profile
|Enrolled in:||October 2004|
|Graduated on:||Thursday, 13 Dec 2007|
Defended: Saturday, 01 Dec 2007.
|Enrolled in:||July 2008|
|Stopped in:||January 2017|
|2008/05/09||A logical foundation for the intersection and union type assignment system: Towards an intersection and union logic|