Michael Zhao

**Chapter name**: Quantum Computing **List of bugs/typos** In the Uniform Computation subsection the reference in "^[This is analogous to the alternative characterization of $\mathbf{P}$ that appears in [Palternativeex](){.ref}.]" does not...

**Chapter name**: Equivalent Models of Computation **List of bugs/typos** 1. Subsection: Formal definition of the $\lambda$ calculus: Link for Chelsea Voss's diagram is incorrect, as it goes to someone else's...

Typo fixes

1

Chapter 8: Equivalent Models of Computation 1. Extra period when rendered: ### {.theorem title="Enhanced λ calculus equivalent to pure λ calculus." #enhancedvanillalambdathm} -> ### {.theorem title="Enhanced λ calculus equivalent to...