download seminar details:
{
pdf
}
Seminar
| Speaker: | Νικόλαος Παπασπύρου (Επίκουρος Καθηγητής, Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών ΕΜΠ, NTUA) |
|---|---|
| Title: | Programming with proofs: Type systems based on logic ... and other frightening stories .. |
| Date: | Παρασκευή, 04 Ιούν 2004 |
| Ώρα: | 18:00-19:00 |
Comments