Seminar
Speaker: | Nikolaos Rigas (MPLA) |
---|---|
Title: | Intersection types and applications to lambda calculus |
Date: | Friday, 09 May 2003 |
Time: | 18:00-19:00 |
mpla.math.uoa.gr |
|
Speaker: | Nikolaos Rigas (MPLA) |
---|---|
Title: | Intersection types and applications to lambda calculus |
Date: | Friday, 09 May 2003 |
Time: | 18:00-19:00 |
Comments