Font size: Αα Αα Αα hide gadgets
You are here: Students » Anastasia Veneti

Anastasia Veneti: student profile


Enrolled in: October 2004
Graduated on: Thursday, 13 Dec 2007


Title: On a logical foundation of the intersection types assignment system: Intersection Logics.

Defended: Saturday, 01 Dec 2007.


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.


Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.