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 |
| You are here: Defenses » Δεκέμβριος 2007 » Αναστασία Βενέτη |
| Date: | Σάββατο, 01 Δεκ 2007 |
|---|---|
| Thesis title: | On a logical foundation of the intersection types assignment system: Intersection Logics |