Introduction to λ-calculus: 2012-2013, spring semester
This is a course that has been given 12 times. For information about this course in general (not just for this specific semester), visit its page: Λ14. Introduction to λ-calculus.
| Taught by: | Georgios Koletsos & Yiorgos Stavrinos |
|---|---|
| Start date: | March 5, 2013 |
| End date: | |
| Website: | http://www.math.ntua.gr/logic/proof-theory/lcalc.htm |
Teaching hours
- every Tuesday, 15:15-17:00, 101, ece, NTUA (new buildings) (Koletsos)
- every Thursday, 15:15-17:00, 101, ece, NTUA (new buildings) (Koletsos)
Comments