download seminar details:
{
pdf
}
Seminar
| Speaker: | Anastasia Veneti |
|---|---|
| Title: | A logical foundation for the intersection and union type assignment system: Towards an intersection and union logic |
| Date: | Friday, 09 May 2008 |
| Time: | 18:00-19:00 |
Comments