download defense details:
{
pdf
}
MSc thesis defense presentation
Αναστασία Βενέτη defends her MSc thesis.
| Date: | Σάββατο, 01 Δεκ 2007 |
|---|---|
| Thesis title: | On a logical foundation of the intersection types assignment system: Intersection Logics |