Seminar
| Speaker: | Nikolaos Rigas (ΜΠΛΑ) |
|---|---|
| Title: | Intersection types and applications to lambda calculus |
| Date: | Παρασκευή, 09 Μάι 2003 |
| Ώρα: | 18:00-19:00 |
| You are here: Seminars » 2002-2003 » N. Rigas, 2003-05-09 |
| Speaker: | Nikolaos Rigas (ΜΠΛΑ) |
|---|---|
| Title: | Intersection types and applications to lambda calculus |
| Date: | Παρασκευή, 09 Μάι 2003 |
| Ώρα: | 18:00-19:00 |
Comments