Introduction to λ-calculus: 2014-2015, 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 |
|---|---|
| Website: | http://www.math.ntua.gr/logic/lambda/ |
Teaching hours
- every Tuesday, 15:15-17:00, 101, ece, NTUA (new buildings)
- every Thursday, 15:15-17:00, 101, ece, NTUA (new buildings)
Comments