Nikolaos Rigas
courses given
| Course | Semester | |
|---|---|---|
| Λ13Α. | Εφηρμοσμένη Θεωρία Αποδείξεων | 2013-2014, χειμερινό εξάμηνο |
| Λ08Ν. | Functional interpretation of arithmetic | 2008-2009, εαρινό εξάμηνο |
| Λ98Γ. | Category theory and applications | 2005-2006, χειμερινό εξάμηνο |
| 3 courses. | ||
seminars given
| ημερομηνία | τίτλος | |
|---|---|---|
| 2012/02/17 | Recent results in the analysis of reducibility | |
| 2003/05/09 | Intersection types and applications to lambda calculus | |
| 2 seminars. | ||