And, as it turns out, my logic-fu is lacking. Next time around, it’s likely I talk about the CCC = typed λ-calculus correspondence, but won’t try to actually produce the correspondence explicitly.
Michi’s blog » [MATH198] Lecture 5 is up
- October 23rd, 2009
- 6:07 pm