Linear logic: 2007-2008, spring semester
For information about this course in general (not just for this specific semester), visit its page: Λ07Ο. Linear logic.
| Taught by: | Yiorgos Stavrinos |
|---|
Teaching hours
We apologize, but we cannot remember the weekly schedule of this course.
Comments