Winter 2007 QG Seminar Errata
Here's a list of errors we've found in the Winter 2007 Quantum
Gravity Seminar notes.
If you discover any more errors, please let me know, and
we'll eventually try to correct them, or at least add them to
Quantization and Cohomology
Classical versus Quantum Computation
Week 14 - In the λ-theory
for commutative rings we really need to include negation
(or subtraction) as an operation, since the typed λ-calculus
is not expressive enough to say there exists an additive
inverse for each element.
© 2007 John Baez and Derek Wise