Nikolaos Rigas
courses given
| Course | Semester | |
|---|---|---|
| Λ13Α. | Applied Proof Theory | 2013-2014, fall semester |
| Λ08Ν. | Functional interpretation of arithmetic | 2008-2009, spring semester |
| Λ98Γ. | Category theory and applications | 2005-2006, fall semester |
| 3 courses. | ||
seminars given
| date | title | |
|---|---|---|
| 2012/02/17 | Recent results in the analysis of reducibility | |
| 2003/05/09 | Intersection types and applications to lambda calculus | |
| 2 seminars. | ||