“For example, the philosophers who were interested in logic were probably rather logical for mathematicians. But the ASL got us together, so we could talk to each other and publish in the same journal.”
Stephen Cole Kleene.
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.