Αναστασία Βενέτη
seminars given
ημερομηνία | τίτλος | |
---|---|---|
2008/05/09 | A logical foundation for the intersection and union type assignment system: Towards an intersection and union logic | |
1 seminar. |
Further information
- Student profile (for extra information about courses taken as a student).