## User login## Navigation |
## Seminar: Classical vs. Quantum ComputationClassical versus Quantum Computation. John Baez. This fall, John Baez has been conducting a seminar on classical and quantum computation. So far they appear to have covered mostly foundations of classical computation (lambda calculus, CCCs, the fixed point theorem). It's interesting to see lambda calculus introduced to an audience already comfortable with category theory. Excellent lecture notes are available for each week with a bit of supporting material, and there have been blog posts for each class on The n-Category Cafe (the most recent one is here). The blog posts have some extra discussion, and comments, of course. The seminar continues in the spring and I'm sure people may want to follow along... |
## Browse archives## Active forum topics |

## Recent comments

3 days 10 hours ago

4 days 10 hours ago

4 days 12 hours ago

4 days 12 hours ago

5 days 18 hours ago

5 days 18 hours ago

6 days 13 hours ago

6 days 15 hours ago

6 days 15 hours ago

1 week 6 hours ago