Anastasia Veneti
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. |
Further information
- Student profile (for extra information about courses taken as a student).