download defense details:
{
pdf
}
MSc thesis defense presentation
Anastasia Veneti defends her MSc thesis.
| Date: | Saturday, 01 Dec 2007 |
|---|---|
| Thesis title: | On a logical foundation of the intersection types assignment system: Intersection Logics |